{"entities":{"Q1038653":{"pageid":1040501,"ns":120,"title":"Item:Q1038653","lastrevid":66604341,"modified":"2026-04-12T11:14:39Z","type":"item","id":"Q1038653","labels":{"en":{"language":"en","value":"On interpretations of bounded arithmetic and bounded set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5635607"}},"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":"Q1038653$DD24103F-76B8-41C7-9FA8-846F2814FEAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2449e2eba6506440943c04e2c22b02ade9636cd6","datavalue":{"value":{"text":"On interpretations of bounded arithmetic and bounded set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1038653$C5918A24-46AE-4AC1-9B44-43C2B73F9FCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8448559cb877fb6adf0ea51c37d23c126884425","datavalue":{"value":"1183.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038653$9F078F39-358B-4867-AA61-3401A3E61DD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afbfecd7f3155ed69c7cc192b0252134621e1594","datavalue":{"value":"10.1215/00294527-2009-003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038653$DACED620-7155-4E8E-8159-4E2BACE37139","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"085576bc1a9e98093f4bcc04272eb81e47443e91","datavalue":{"value":{"entity-type":"item","numeric-id":1038652,"id":"Q1038652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038653$A51D72E0-A17D-48A0-A182-AEE2350CDC66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038653$106100F8-0340-4BFC-A52F-4F3BE6E7EC8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d854bb3e97b3fd38c10eaa4e7365bd0951b145d2","datavalue":{"value":{"time":"+2009-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1038653$5FBBA5C6-BC70-4F4D-A634-2B0740346EDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d56c5f4741f375c65ea2b160e564af1f990dc4e6","datavalue":{"value":"https://arxiv.org/abs/0807.4850","type":"string"},"datatype":"url"},"type":"statement","id":"Q1038653$EE159B90-AB2B-4745-8DF5-5D13F6AB3671","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"832b19512dbec42796b38ddd7b5280f20c31f2de","datavalue":{"value":"In [``On interpretations of arithmetic and set theory'', Notre Dame J. Formal Logic 48, No. 4, 497--510 (2007; Zbl 1137.03019)], \\textit{R. Kaye} and \\textit{T. L. Wong} proved that Peano Arithmetic is bi-interpretable with the suitably formulated ZF set theory with the axiom of infinity negated. Pettigrew proves an analogous result for the theory \\(\\text{I}\\Delta_0+\\exp\\). The corresponding set theory is a variant of the axiom system EA introduced by \\textit{J. P. Mayberry} [The foundations of mathematics in the theory of sets. Encyclopedia of Mathematics and Its Applications. 82. Cambridge: Cambridge University Press (2000; Zbl 0972.03001)]. EA is a first-order theory in the language including the constant \\(\\emptyset\\), function symbols for power set, sum set, pair set, and rank operations, as well as unary function symbols \\(\\{x\\in y: \\Phi(x)\\}\\) for each formula \\(\\Phi(x)\\) in which each quantifier is bounded by a term. The system, called EA\\(^*\\), includes the axioms of Extensionality, Pair Set, Sum Set, Power Set, Foundation, Axiom Schema of Subset Separation for Bounded Formulas, Dedekind Finiteness, and a special axiom, called Weak Hierarchy Principle, which guarantees that for every set there exists the first level of the cumulative hierarchy at which that set occurs. The interpretation of EA\\(^*\\) in \\(\\text{I}\\Delta_0+\\exp\\) is the standard Ackermann interpretation. The inverse interpretation uses arithmetic operations defined using a function that takes each level of the cumulative hierarchy \\(V_n\\) to a linear ordering of \\(V_n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038653$8A967C32-4592-49B1-B4BA-A19F1D9B0FCF","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":"Q1038653$22E3C84E-4039-40B5-8399-9F173CF64261","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038653$067E73FD-34FD-42C9-8C5D-049AF6B1A765","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"008fc6b00a8d30446e94c4ffc72519675201de96","datavalue":{"value":"5635607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038653$05500513-15B8-48C9-8CE8-3FB9DF566BBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbdcdb68f38daa2b48322f1b5d12a4ecba19e626","datavalue":{"value":"bounded induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038653$5129C05B-F620-4B35-93C7-A1BE52CE2101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812e3553b07592ecaf54ba454e66e95cb44dd30c","datavalue":{"value":"finite set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038653$71C201B2-4391-41C5-B6CA-4439EB8E697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038653$1D1D6F8D-CF7E-4F37-ABAA-23A93C6B97A5","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":"Q1038653$90D6D612-1FD7-4B6F-9C5D-34DBCB3669F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"907f55d5bd1732f9c6006954dd38655f6b15c2c8","datavalue":{"value":"W2061699228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038653$E71C564C-B14B-4692-8617-2E09C4A051F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad93ef737236c095811cdb874d4696a52c8c9fea","datavalue":{"value":{"entity-type":"item","numeric-id":2425351,"id":"Q2425351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4736c503c62782ada07d6f24742400f399b14b2","datavalue":{"value":{"amount":"+0.81881416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$BC7DE8C6-42CE-4599-A482-FA45A1BCB9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad939fadf0db44f06c22946a3c86aadaca08e286","datavalue":{"value":{"entity-type":"item","numeric-id":1097274,"id":"Q1097274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034bcd9d251aae31fdb9534aa0b4731f439270ee","datavalue":{"value":{"amount":"+0.75372493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$2D501C4C-6A5E-4AA1-944E-AC5BEA5D7471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9981481e69302bc1b81f2cdbe5b09df8fdc32d","datavalue":{"value":{"entity-type":"item","numeric-id":2120969,"id":"Q2120969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5dec227c58d88fb7467b9180b55907ff68a3e18","datavalue":{"value":{"amount":"+0.73472023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$48C1B343-54BB-44D2-922F-D582D9A09DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971b942a766aee6834ec8a3109bc12c219af4f1b","datavalue":{"value":{"entity-type":"item","numeric-id":4939397,"id":"Q4939397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1555faa7c48409e5b4baa17f6b633a6f0b7cc9a","datavalue":{"value":{"amount":"+0.7343408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$A66CF10E-1B5A-4D8F-A97C-94607D003514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d2c90dabee192063e95986e3b6f103c5e52983","datavalue":{"value":{"entity-type":"item","numeric-id":3342568,"id":"Q3342568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7262a4c2a5608ee51d9a9a085708f74f0f2c2669","datavalue":{"value":{"amount":"+0.73352015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$76B988E3-B7AF-4540-99D1-75D5E455D352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698757a231787e28caa14219ffc2b61cd4692545","datavalue":{"value":{"entity-type":"item","numeric-id":3758815,"id":"Q3758815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1604e861f0c968b5856e7ae1ef182ea4866d8c54","datavalue":{"value":{"amount":"+0.72553647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$35B2BA9F-932D-4272-89DC-5A82DDEC2EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1507afc774026e87094fbc6fa5d6fd6e3eeb31ca","datavalue":{"value":{"entity-type":"item","numeric-id":4243761,"id":"Q4243761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10f8249d828eaaf26c653b00f60dab674b382b5","datavalue":{"value":{"amount":"+0.7200612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$E60215A4-E7E6-47CC-B06C-8040E3982199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ced2313f02db6d0fedcf188e6c8b8dfdf5b372","datavalue":{"value":{"entity-type":"item","numeric-id":3322072,"id":"Q3322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b49f281efe0d40c406ef434736a5fa747e3f10f","datavalue":{"value":{"amount":"+0.7124558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$DD60234B-3379-464E-83F6-6FB9868EAA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ddcb33289e543901e60803926135b2dfa4172f","datavalue":{"value":{"entity-type":"item","numeric-id":5945009,"id":"Q5945009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e9fc8219686ff54518207283e740fa7011ab3a","datavalue":{"value":{"amount":"+0.71019363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$6DE0F1EE-8AB1-47F1-8439-70D2A9E3848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"279a4c707c95a9b9efb570ce98ce07e42f9e99a0","datavalue":{"value":{"entity-type":"item","numeric-id":3416111,"id":"Q3416111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5585737134f51e981148dd667e1a0e84ced74812","datavalue":{"value":{"amount":"+0.7094562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1038653$165F4A24-5284-449B-9BDD-1C64C1390753","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On interpretations of bounded arithmetic and bounded set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_interpretations_of_bounded_arithmetic_and_bounded_set_theory"}}}}}