{"id":"https://openalex.org/W7212297693","doi":"https://doi.org/10.48550/arxiv.2609.11326","title":"Rice's Theorem under Self-Modification: Elevation Operators and a Normal Form","display_name":"Rice's Theorem under Self-Modification: Elevation Operators and a Normal Form","publication_year":2026,"publication_date":"2026-09-10","ids":{"openalex":"https://openalex.org/W7212297693","doi":"https://doi.org/10.48550/arxiv.2609.11326"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.11326","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.11326","pdf_url":"https://arxiv.org/pdf/2609.11326","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.11326","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070276436","display_name":"Jos\u00e9 Pascual Gumbau Mezquita","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mezquita, Jose Pascual Gumbau","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5070276436"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8101000189781189,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8101000189781189,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.16269999742507935,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.009800000116229057,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rice-s-theorem","display_name":"Rice's theorem","score":0.9819999933242798},{"id":"https://openalex.org/keywords/self-modifying-programs","display_name":"self-modifying programs","score":0.9649999737739563},{"id":"https://openalex.org/keywords/program-rewriting","display_name":"program rewriting","score":0.6679999828338623},{"id":"https://openalex.org/keywords/safety-properties","display_name":"safety properties","score":0.6119999885559082},{"id":"https://openalex.org/keywords/persistence","display_name":"persistence","score":0.6740000247955322},{"id":"https://openalex.org/keywords/normal-forms","display_name":"normal forms","score":0.7919999957084656},{"id":"https://openalex.org/keywords/arithmetical-hierarchy","display_name":"arithmetical hierarchy","score":0.8740000128746033},{"id":"https://openalex.org/keywords/halting-problem","display_name":"halting problem","score":0.7620000243186951},{"id":"https://openalex.org/keywords/runtime-monitors","display_name":"runtime monitors","score":0.6510000228881836},{"id":"https://openalex.org/keywords/observational-equivalence","display_name":"observational equivalence","score":0.8130000233650208}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.9053999781608582},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.690500020980835},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.65420001745224},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6171000003814697},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5906999707221985},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5885999798774719},{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.5318999886512756},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.5041000247001648},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.46799999475479126},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4569000005722046},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4375},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.4165000021457672},{"id":"https://openalex.org/C160771489","wikidata":"https://www.wikidata.org/wiki/Q10564851","display_name":"Closure operator","level":3,"score":0.40610000491142273},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3831000030040741},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3734999895095825},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C37054046","wikidata":"https://www.wikidata.org/wiki/Q641888","display_name":"Elevation (ballistics)","level":2,"score":0.33410000801086426},{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.3156999945640564},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.31439998745918274},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.2930000126361847},{"id":"https://openalex.org/C2777831296","wikidata":"https://www.wikidata.org/wiki/Q12518","display_name":"Tower","level":2,"score":0.2831000089645386},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.2662000060081482},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2574000060558319},{"id":"https://openalex.org/C27859207","wikidata":"https://www.wikidata.org/wiki/Q5500180","display_name":"Free algebra","level":5,"score":0.25110000371932983},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2502000033855438}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.11326","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.11326","pdf_url":"https://arxiv.org/pdf/2609.11326","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.11326","doi":"https://doi.org/10.48550/arxiv.2609.11326","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.11326","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.11326","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.11326","pdf_url":"https://arxiv.org/pdf/2609.11326","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7212297693.pdf","grobid_xml":"https://content.openalex.org/works/W7212297693.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7166757672","https://openalex.org/W4405353235","https://openalex.org/W2405845424","https://openalex.org/W1632583733","https://openalex.org/W7100983277","https://openalex.org/W187302757","https://openalex.org/W7096445021","https://openalex.org/W7098782280","https://openalex.org/W2073349631","https://openalex.org/W2296698991"],"abstract_inverted_index":{"We":[0,111],"ask":[1],"whether":[2],"it":[3],"can":[4,103],"be":[5],"certified":[6],"algorithmically":[7],"that":[8,70],"a":[9,13,16,43,63,76,128,137,142,164],"self-modifying":[10],"program":[11],"keeps":[12],"behavioural":[14,44],"property,":[15,100],"safety":[17],"property":[18,45],"in":[19],"the":[20,35,51,54,67,86,89,96,99,108,114,123,131,145,149,152,156,176],"motivating":[21],"case,":[22],"after":[23],"its":[24,30],"next":[25],"rewrite":[26,36,52],"(preservation)":[27],"and":[28,46,83,120,126,141,144,166,171],"along":[29],"whole":[31],"evolution":[32],"(persistence).":[33],"When":[34,50],"depends":[37],"only":[38],"on":[39],"behaviour,":[40],"preservation":[41,56,84],"is":[42,57,134],"Rice's":[47,72],"theorem":[48,73,147],"applies.":[49],"reads":[53],"code,":[55],"no":[58,172],"longer":[59],"behavioural;":[60],"yet,":[61],"under":[62],"uniform":[64],"disruption":[65],"condition,":[66],"s-m-n":[68],"reduction":[69],"proves":[71],"works":[74],"inside":[75],"single":[77,138],"class":[78,154],"of":[79,88,98,107,155],"behaviourally":[80],"identical":[81],"programs,":[82],"inherits":[85],"degree":[87,97],"halting":[90],"problem.":[91],"One":[92],"step":[93],"never":[94],"exceeds":[95],"while":[101],"persistence":[102],"climb":[104],"one":[105],"level":[106],"arithmetical":[109,153],"hierarchy.":[110],"then":[112],"isolate":[113],"mechanism":[115],"shared":[116],"by":[117,136],"rewriting,":[118],"supervision":[119],"system":[121],"comparison,":[122],"elevation":[124],"operator,":[125],"prove":[127],"normal":[129],"form:":[130],"preserving":[132,177],"set":[133],"determined":[135],"finite":[139],"trigger":[140],"polarity,":[143],"Rice-Shapiro":[146],"restricts":[148],"polarity":[150],"to":[151,163],"property.":[157],"Runtime":[158],"monitors,":[159],"consistency":[160],"supervision,":[161],"conformance":[162],"reference":[165],"observational":[167],"equivalence":[168],"are":[169],"instances,":[170],"sound":[173],"theory":[174],"covers":[175],"systems.":[178]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-09-12T00:00:00"}