{"entities":{"Q1114685":{"pageid":1125434,"ns":120,"title":"Item:Q1114685","lastrevid":49239454,"modified":"2026-01-06T20:12:56Z","type":"item","id":"Q1114685","labels":{"en":{"language":"en","value":"Arithmetic analogues of McAloon's unique Rosser sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083624"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$3412A45F-24DD-4E65-BFEE-599B3BABB90F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2161b44ade01ba683b4c3c5ab62150c9b2182cc","datavalue":{"value":{"text":"Arithmetic analogues of McAloon's unique Rosser sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114685$C5E98CFE-2F66-4285-9AF0-FDF8A71AED91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9066debcce110516af48844a95dc89e648b358b8","datavalue":{"value":"0663.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114685$22754E69-B7EB-4E17-9927-FE4D8C5559A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2930c8fc27df21290c8edcedf99c4e79378a60cc","datavalue":{"value":"10.1007/BF01624079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114685$D521474F-A67A-437F-87A3-9AD3DAE14E28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$D54B728B-39D2-42D7-A441-EF415537C757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114685$A3DED954-67B3-437B-9F17-24D2A96764C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e414f677670674f94e8633cd7be7a7d1c8001f2","datavalue":{"value":"In what follows, \\(T_0,T_1,\\ldots,T_n,\\ldots\\) is a r.e. sequence of theories containing PRA, and (if the \\(T_n\\)'s form a chain) \\(T\\) is their union. MPr(z) is the formula   \\[ \\exists\\ x[ \\Pr_{Tx}(z)\\&\\forall y\\leq x\\sim \\Pr_{Ty}(neg(z))], \\]   MPr'(z) is defined similarly with \\(\\leq\\) replaced by \\(<\\). The McAloon-Rosser sentences are sentences   \\[ \\Phi\\Leftrightarrow \\sim M\\Pr (\\ulcorner \\Phi \\urcorner)\\quad\\text{and}\\quad\\Phi \\Leftrightarrow \\sim M\\Pr {}'(\\ulcorner \\Phi \\urcorner). \\]   It turns out that McAloon-Rosser sentences are unique over PRA but their uniqueness over \\(T\\) depends on the \\(T_n\\)'s. If the \\(T_n\\)'s grow sufficiently fast (like \\(T_n= \\text{PRA}+\\Sigma_{n+1}\\)-induction, for instance), then the sentences are unique over \\(T\\). On the other hand it is shown that for a (very short however) sequence (because consisting only of \\(T_0 = \\text{PRA}\\) and \\(T_1=T= \\text{PRA}+Con_{\\text{PRA}})\\), McAloon-Rosser sentences are not unique. Other results include: another uniqueness result under different assumptions about \\(T_n\\)'s (not satisfied by \\(\\Sigma_{n+1}\\)-induction) -- here also a difference between MPr and MPr' is displayed; results about Henkin sentences corresponding to MPr and MPr'; and applications of the results to constructions of end extensions of models of arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114685$E2D60980-9F01-47AB-9ACC-1A5FDDF87452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114685$C2B47DDB-9904-4353-A707-5E6B44FFD1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114685$772CB59B-5F6D-418D-91F7-14A067813683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"235adcd0ffb4bb1f408c31eef566bbb1266ada6f","datavalue":{"value":"4083624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114685$2D38392F-AD27-4903-AF18-1626B6943E66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140a771e07db9b43f7fd856aa0c278a7631641d3","datavalue":{"value":"self referential sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114685$F56726D1-6DDE-486F-A425-7A9CF98F1F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114685$E2AA8411-5262-43AA-8F14-89CD8896DDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ccdb37426126e35372565f4974593b12cb4a3f","datavalue":{"value":"Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114685$8CFB9A41-0174-45FD-A74F-9CDBB3F69EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d94a848d6d9a19127369bb06d6ecdfa9f98906","datavalue":{"value":"PRA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114685$D799319F-BED4-450B-A395-EA1C7751D53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f8808b141724bfc605dbd74ab0f55fbfc9f5ecc","datavalue":{"value":"McAloon-Rosser sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114685$9654714C-7632-4E5C-87B7-B8A06273C7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a65a9345a2efda91c70c088e3c8240530413550","datavalue":{"value":"Henkin sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114685$B2A1EE0D-AD23-41B5-8BC6-5C31F1A95AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8863b19778d8e29bce0e578225ab4acd6ef7209d","datavalue":{"value":"end extensions of models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114685$BEA3E6D6-E69E-44E0-A13B-A56625F7A04F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"381d66ce0d865d18f3a56597ab9de985aaa93f52","datavalue":{"value":{"entity-type":"item","numeric-id":1259544,"id":"Q1259544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$F02198EE-A602-4BDB-A6D6-4F3CAF78DB3C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$773FAAEB-44FD-4404-A4E0-B85A787C15DC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$C0016DC6-6C1C-4CE4-B244-665A122415DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2ec58519afc06b2462e8111720dd1c1143b15c","datavalue":{"value":{"entity-type":"item","numeric-id":4100087,"id":"Q4100087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$7BEF39D9-2A09-468D-92AA-968E6624F0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b96dd7ca0c4bbb78854e16e232db29c4eac847","datavalue":{"value":{"entity-type":"item","numeric-id":4168612,"id":"Q4168612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$A2489508-295A-4D86-A5A9-7BACDBBC1F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$66D0228F-B1D7-4C67-B67D-DD995613ADC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054f3f8b0785864466d242030e47b1076d46b298","datavalue":{"value":{"entity-type":"item","numeric-id":3931391,"id":"Q3931391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$7A0B7DF2-78B4-4B11-B7C6-DD29F6C1DACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4de1c8e3790a799750288a2e5d11c02ea840935","datavalue":{"value":{"entity-type":"item","numeric-id":1262309,"id":"Q1262309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114685$5D1FBFA2-E6C2-4F08-BE39-D6F6441A4079","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3e767bb90d0643b564911a1f62308c1fbfb4ce5","datavalue":{"value":"https://doi.org/10.1007/bf01624079","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114685$BF54AC8E-A664-48A2-BB61-B38CDE59B71F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"303e37c032e1e2ec5e1002b1d8f612561e2f8434","datavalue":{"value":"W1503684994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114685$B73C738C-A9E1-4D3A-B885-F6ED19844B32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"115dce5ac8bb6dbec7336c89cfdbe23cd6caf4cc","datavalue":{"value":{"entity-type":"item","numeric-id":1263586,"id":"Q1263586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9364ffca353f3baf1b1fa7ea4799dc6313abe91f","datavalue":{"value":{"amount":"+0.7505892515182495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114685$D2CCC650-0D6B-45C0-9D72-C4509868C498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b61dde329e9af43aeeb24b90436f26169efc30c","datavalue":{"value":{"entity-type":"item","numeric-id":1099165,"id":"Q1099165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82ea8764d6652aae828a0cbd5973318987a18f5","datavalue":{"value":{"amount":"+0.7310048341751099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114685$FECE47AA-EBFF-47E1-9939-15DA351B3C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad675b921d6428b585f605bd9bab33642166733c","datavalue":{"value":{"entity-type":"item","numeric-id":892168,"id":"Q892168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751bb15655c45893378dd4fd804341e89f6af7f2","datavalue":{"value":{"amount":"+0.723044753074646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114685$92AD6231-5ADD-4A8C-B9C7-A9D1BD87C31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9ab07931af7835bcd0b3e730c5c46690b4fd03","datavalue":{"value":{"entity-type":"item","numeric-id":908911,"id":"Q908911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94aca93f531c5e3042130290830d584b33a8a6e","datavalue":{"value":{"amount":"+0.7176950573921204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114685$04C42AAC-D592-465D-BEBA-D0E37349028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f156f946bd8e2cfcc61ee7a9717b81cdf6f7b503","datavalue":{"value":{"entity-type":"item","numeric-id":2470037,"id":"Q2470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e061d7abcce044afd506b03ea744257e2afe33f3","datavalue":{"value":{"amount":"+0.7165740728378296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114685$1A974DA5-F026-4F86-AEC2-9D01E74EB437","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114685"}}}}}