{"entities":{"Q923081":{"pageid":924929,"ns":120,"title":"Item:Q923081","lastrevid":65377101,"modified":"2026-04-12T02:10:45Z","type":"item","id":"Q923081","labels":{"en":{"language":"en","value":"A consistency result of the system Z \\(+\\) the replacement axiom schema of \\(\\Sigma_ n\\)-formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170901"}},"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":"Q923081$9AC7C1FC-BE63-4173-A7E7-296A6561950B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"759056e6fc5a1a3f3483d16ecbcc79aae5bf5d96","datavalue":{"value":{"text":"A consistency result of the system Z \\(+\\) the replacement axiom schema of \\(\\Sigma_ n\\)-formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923081$8BA474DD-5B28-4AF9-8B6C-4A9F5F4C1C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84f63ae973ef750e1814a753c771fb57fb915023","datavalue":{"value":"0712.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923081$B5EE7CDB-3988-4209-9245-0DE310EFC5F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923081$0C25910E-E02B-41CD-9966-181921E88149","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q923081$F8531DD4-B9E9-4920-8BDA-F1239C4CACC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff254ac8fc036eed6fd89041f07952121c18be68","datavalue":{"value":"Using the definability of truth for \\(\\Sigma_ n\\)-formulas and the reflection principle the author proves in ZF the consistency of the subtheory \\(ZF_ n\\) mentioned in the title of his short note. In fact, the author's (somewhat stronger) result and his proof are well-known and can be found as Theorem 32 in \\textit{A. Levy}'s ``A hierarchy of formulas in set theory'' [Mem. Am. Math. Soc. 57 (1965; Zbl 0202.305)] (a paper cited by the author in his list of references). Alternatively, one could use for a simple proof the fact that \\(ZF_ n\\) is finitely axiomatizable [cf. \\textit{E.-J. Thiele}: ``\u00dcber endlich-axiomatisierbare Teilsysteme der Zermelo-Fraenkelschen Mengenlehre'', Z. Math. Logik Grundlagen Math. 14, 39-58 (1968; Zbl 0177.014)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q923081$CE0CC438-E2D2-4AEE-99E9-F08520C4B958","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f98ee58fa25fbd22581b8277cc8492aa7c19b098","datavalue":{"value":{"entity-type":"item","numeric-id":759746,"id":"Q759746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923081$3DCBB3D5-D4A5-4813-AC42-E3051F222333","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923081$A0F1F28B-EC59-4AA6-B2A2-BE5CDE64CA58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc7321600169ee8e922fb1bbbe5ed1a97270ec69","datavalue":{"value":"4170901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923081$4E02DA17-B030-4BA1-BFE1-742761A8D986","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q923081$C3A36C24-EE5C-4978-A7AB-C62B4924305C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q923081$0AB6D448-500C-4908-AA5A-02AD30EE0F80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923081$CF586403-6DE7-451C-A98E-186B181A3B5C","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":"Q923081$77FAC227-C1E9-49B4-A007-343A9DAACE17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd8c183e44807767a8384413f7d97391a385900","datavalue":{"value":{"entity-type":"item","numeric-id":2705152,"id":"Q2705152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ef903062dcfb71a0f131774bf8b3289e40a79c","datavalue":{"value":{"amount":"+0.852113664150238","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":"Q923081$47C3DB70-CF31-4BA3-82D5-C4A20DFCC687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8664d2a613545814340c2173b7516c3df588afa8","datavalue":{"value":{"entity-type":"item","numeric-id":3710522,"id":"Q3710522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ef903062dcfb71a0f131774bf8b3289e40a79c","datavalue":{"value":{"amount":"+0.852113664150238","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":"Q923081$757E7035-9F4F-4E07-BAB4-884552762F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a791055ed6483aa4b3dd25304e8ba5c39b8f88eb","datavalue":{"value":{"entity-type":"item","numeric-id":3197817,"id":"Q3197817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699fe249169a3d6c1937a11b7322b0ee77a6b4db","datavalue":{"value":{"amount":"+0.8128223419189453","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":"Q923081$F2C471DD-E587-4CEF-A9BE-2A40C7AE2C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d4afc02eaa6fed657e193a6cd0ef192c8271db","datavalue":{"value":{"entity-type":"item","numeric-id":5596756,"id":"Q5596756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e4443678f81ec4bfc6b91b5307e5decb1be285","datavalue":{"value":{"amount":"+0.7744417190551758","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":"Q923081$0F179C91-8984-4C97-B614-FCC0345049A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155ddd2dcdeef2517843a753f6ea8eba711d9dad","datavalue":{"value":{"entity-type":"item","numeric-id":3343963,"id":"Q3343963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300da2939ebdb0fa8e9794f0cbbe59ac1cb27fc9","datavalue":{"value":{"amount":"+0.7489923238754272","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":"Q923081$FAF3AF22-F4FF-4079-8F83-CC799CCAE36B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A consistency result of the system Z \\(+\\) the replacement axiom schema of \\(\\Sigma n\\)-formulas","badges":[]}}}}}