{"entities":{"Q2425351":{"pageid":2436094,"ns":120,"title":"Item:Q2425351","lastrevid":50346110,"modified":"2026-01-13T20:59:44Z","type":"item","id":"Q2425351","labels":{"en":{"language":"en","value":"On interpretations of arithmetic and set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5268943"}},"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":"Q2425351$3AE423CC-F7B0-47E5-BC4C-4392AE48FBCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8c8100201ec4d2e6a907819d9f5c1997ffb4924","datavalue":{"value":{"text":"On interpretations of arithmetic and set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2425351$EE22C1FE-09D8-414F-8CAD-F8817A9F6B2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"827f3023c88ed7dce366087c54ee5862af9cdd9f","datavalue":{"value":"1137.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$87BA4760-EDB8-4F1A-9988-F2D245EF9E1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e343647324d24e95cab6cdd0a07fe0feaf1a32d1","datavalue":{"value":{"entity-type":"item","numeric-id":334990,"id":"Q334990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425351$EAB40247-58EB-4A01-8B32-AF62BCC4EB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e8d3a3341051dfd24b707ce385e6152c2c9cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1762363,"id":"Q1762363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425351$1BC8FE3B-8721-4E67-B5B1-BEA12991C3A8","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":"Q2425351$B3FD35F4-902B-4C5D-A663-A128829CA037","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556750df24c21153fcb785f7068c27ffbf372e44","datavalue":{"value":{"time":"+2008-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2425351$CEDBE2F4-5F28-46BF-B6F0-871EF02C0E9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e2bc555bed912f8ea25e6a52200278f69db5b445","datavalue":{"value":"It is ``folklore knowledge'' that PA (Peano Arithmetic) and ZF-inf (Zermelo-Fraenkel set theory with the axiom of infinity negated) are mutually interpretable. Codes of bounded definable sets in a model of PA serve as a universe of a model of ZF-inf. Ordinals in a model of ZF-inf form a model of PA. However, as the authors say in the conclusions of the paper, ``[...] for the finer result with interpretations inverse to each other, careful axiomatization of the set theory is required.'' The main result is an interpretation of PA in finite set theory in which the domain of the interpretation is the whole set-theoretic universe. To achieve this, ZF-inf is replaced by ZF-inf plus the axiom declaring that every set is contained in a transitively closed set. The paper concludes with hierarchical variants of interpretations for fragments of PA and ZF and a discussion of difficulties and potential applications of similar results to weak fragments of arithmetic in which totality of the exponential function if not provable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425351$3EE90238-A56C-4991-AFA7-6A32A60D5FB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$DF17CD21-6121-40F4-81F4-551BA0BCEE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$DBF3661C-0739-4DED-B1C0-8DD3C419AB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$FAFCE4C7-F039-4F59-A97F-02AE57C21551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$80E399C0-6D08-4732-9B03-333BCFDED28A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c946f982997fa4c4cb685d4d5f9368df1c696c0","datavalue":{"value":"5268943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$266975C7-2C7C-467F-AE98-4FC3DD8312CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425351$B92FE2DB-0A18-4C95-A206-E31A7D79BFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812e3553b07592ecaf54ba454e66e95cb44dd30c","datavalue":{"value":"finite set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425351$E3FF0CF0-D084-43FC-BE8A-D5237E58BA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425351$D5496AAA-48DB-4163-B981-B28FA0A0FAB8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a34d05b36ca5f8c205d84ee87b9dccda3f72b68f","datavalue":{"value":"Q63018434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$85F452A3-ABBB-45E3-AEBA-60FC162E9EA4","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":"Q2425351$8284735C-247E-4F85-B30F-D626FB6F090D","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":"Q2425351$7441FE71-983A-4E40-B231-732A39AA6497","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64cd5472dbf5febebbd142ecd4930442b83ba951","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1193667707","type":"string"},"datatype":"url"},"type":"statement","id":"Q2425351$27674B1B-7A38-40BB-8586-C25E2B9991A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af53170da472a3e3ef3cd11e2f17dd13a7be4661","datavalue":{"value":"W1971643033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$3B5762A0-B569-4607-8870-D9F6B951403A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"77f4b6f3e85ed983c6bde539920023caf7f9fe71","datavalue":{"value":"journals/ndjfl/KayeW07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$490D679E-97FF-49B2-837A-1F84213BE48E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c6046735cf3ea8936b3601a7271283b64180923","datavalue":{"value":"10.1305/NDJFL/1193667707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425351$FE374556-07DA-4A3B-8155-65E6A0C6758B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7af83872c4037663616b695e7b36e2d25b1c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1038653,"id":"Q1038653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b15a317727954d0908c55ef193820f909fb8cf9","datavalue":{"value":{"amount":"+0.827704131603241","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":"Q2425351$4FD63947-F167-44BE-8322-32E4ABC5DAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e63306fd4949bbc888f294a90beb54817df81e","datavalue":{"value":{"entity-type":"item","numeric-id":1181380,"id":"Q1181380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6355c1a963d2633ee0addf2fe7999151cc73380","datavalue":{"value":{"amount":"+0.7723609209060669","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":"Q2425351$FC85C544-800C-4E38-9567-2467D87693F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faee662f4b69879f362b6733f28f2a3ae11ef824","datavalue":{"value":{"entity-type":"item","numeric-id":3118396,"id":"Q3118396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea20ce012ec8a516e381afd836922a8301a1e1a","datavalue":{"value":{"amount":"+0.7719202041625977","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":"Q2425351$ACA43386-7C00-486B-BE77-D69787E15ACD","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":"f8525e655660a397d0b023d44e544b5fbafec3ae","datavalue":{"value":{"amount":"+0.7689865827560425","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":"Q2425351$E8258996-8B50-4F0B-BD4C-5DA1C29D543F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524e84b423c3797a39985bd11e5e1218a79750a3","datavalue":{"value":{"entity-type":"item","numeric-id":1095138,"id":"Q1095138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafa63453b0a0a238d0ab71cfd59a5d78b479de0","datavalue":{"value":{"amount":"+0.7675103545188904","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":"Q2425351$E0316771-8555-4DFA-AB3B-77C1C1623F9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2425351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2425351"}}}}}