{"entities":{"Q1891250":{"pageid":1901992,"ns":120,"title":"Item:Q1891250","lastrevid":73934985,"modified":"2026-04-14T17:47:06Z","type":"item","id":"Q1891250","labels":{"en":{"language":"en","value":"A model for intuitionistic non-standard arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759339"}},"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":"Q1891250$B8C64C09-8085-49C1-BCED-FE4535991987","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6503629d55b22987b862ca0bed7d27e47bd70cbf","datavalue":{"value":{"text":"A model for intuitionistic non-standard arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891250$006CBCC4-87B6-4C34-9C26-B63A30E65A21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49db78067454d2e8cf87a93803fa1bf9a3385fe1","datavalue":{"value":"0829.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891250$297CC01A-3B95-45C5-83B0-B638E680C3E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d952c75a7133c2b2577acb5f74af0f1d1d03746","datavalue":{"value":"10.1016/0168-0072(93)E0071-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891250$E894C573-0D6C-4459-AE76-8614E8CF50E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$09DF9649-BE14-425C-8FBA-312CE62282C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c57d92cae029ef5848a159f56fc2b8986d924bb4","datavalue":{"value":{"time":"+1996-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891250$90DC0D03-77E6-44AB-872E-874412A43799","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae89602374af1fa16b9bd61614b4e9907f352a66","datavalue":{"value":"Let \\(F\\) be the category of filters on subsets of \\(\\mathbb{N}^k\\), where \\(\\mathbb{N}\\) is the set of natural numbers and \\(k\\geq 0\\). \\(F\\) is equipped with a Grothendieck topology, and the sheaves of \\(F\\) form a topos. The sheaf \\(N\\), corresponding to the set \\(\\mathbb{N}\\) and its trivial filter \\(\\{\\mathbb{N}\\}\\), is interpreted as a model for the language of first-order arithmetic. Semantics for \\(N\\) is defined via Kripke-Joyal forcing relation. It is shown that under this interpretation \\(N\\) is a model of true arithmetic. Proofs are constructive and can be formalized within higher-order Heyting arithmetic. Variations of the construction, using arithmetically definable sets, and filters on the Baire space, are also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$621749C2-1605-4DB9-B549-1977EC5E7787","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891250$10910F91-C6BF-4DBB-9235-94D791263823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891250$43E6282E-C317-4F96-8D8D-786F76FBAEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891250$ED6450E9-ED9C-4363-A26C-2CB82F933C59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a83c248239b5eb8e965418366fdb302492aabe44","datavalue":{"value":"759339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891250$C69ED4A4-88DF-43C4-B1ED-51B5B75D67C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c6c388a64065417dcb5581dfce7a918d3f6d35","datavalue":{"value":"category of filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$7A3F0295-B522-4533-9871-306E84A1C572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40701e22ef239eade082b7ab44a7ad07033b102c","datavalue":{"value":"Grothendieck topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$7FD6EA83-734E-4D3E-B542-14EECFDE9D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$FF918757-5B4E-49B8-9C15-B71B9FB01E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$1FE81445-0404-48C1-8DAB-CF35B0B52A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$B49117EC-D2E9-4C28-80ED-627BB84970D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6d6aad304ec7a047399163f0621564e2f1cec2","datavalue":{"value":"Kripke-Joyal forcing relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$96657338-F882-49F2-9DED-7C2BBA9939A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82d44d38f8cd81f8c94933093e991199878bb7e","datavalue":{"value":"true arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$4CE2B5BD-94ED-431F-9433-A8770B970F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86ab841b6bb6e1d1f9acad3e293d2363b97d497f","datavalue":{"value":"higher-order Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$79B9BB6D-9252-445D-882F-298D2ED602AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d278d91d33134d454caac0cb9b809519edd50f5","datavalue":{"value":"Baire space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891250$E1A6EC08-6863-4663-9AFB-AFB8B449142D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$CD61DB88-CB43-448D-B525-FE28980522E3","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":"Q1891250$58BBFBF4-C56C-4DEE-BBAE-DC1A13E93754","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":"Q1891250$3D567A91-9369-4A6D-ACF1-F35BF12FFE09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7e6dc0eb6e914e43c4b8d75a8fe1fbc659c249","datavalue":{"value":{"entity-type":"item","numeric-id":4129618,"id":"Q4129618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$2DB431F7-BB7D-4453-BE92-FE4560CD7988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216a436e17684ecfd0f73045bed438fdd8084937","datavalue":{"value":{"entity-type":"item","numeric-id":4293477,"id":"Q4293477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$F0C919F5-CF59-415C-BA64-2939D16D652B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$C37BC6CD-4EDE-40D6-96D2-6FD8781DCBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22ce0d00904c592b2c342fd4ac2e1568a2dad2a","datavalue":{"value":{"entity-type":"item","numeric-id":5597563,"id":"Q5597563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$449D602E-89AA-4BD4-A6ED-BE71102D1AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$803A57C5-BE28-4DB2-AFE2-4F0B428DF5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$A087B0C0-103F-4811-AF25-61631D798DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c3faaf5806bffb98996997da8da058ecfd89e5","datavalue":{"value":{"entity-type":"item","numeric-id":5752569,"id":"Q5752569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$BFE079DB-8ADB-45FC-9E0F-BB2DCA2E99CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994fe188255640dd065c8b317abc0d629f231ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3997818,"id":"Q3997818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$2526BF3B-E311-41C5-BAD3-4CB1501E38BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e392de9e32176a97ba1ea63437302e1ba70c2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4182505,"id":"Q4182505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891250$D5C86C99-E93F-4362-9E38-0A2F213A4F8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fe3f5abd0e785efd0b6b194791216dc83afcba","datavalue":{"value":{"entity-type":"item","numeric-id":1407559,"id":"Q1407559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1844cae6160a86bda26cca717f25f905647d46","datavalue":{"value":{"amount":"+0.7762959003448486","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":"Q1891250$0AB03F24-99C0-4BA2-A641-88122D56A49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571959f8b8a03199d472ffb4a4e9c6b81c6347f7","datavalue":{"value":{"entity-type":"item","numeric-id":1356978,"id":"Q1356978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7691409302fc2aa7d72573af3ebf6413f961c3ab","datavalue":{"value":{"amount":"+0.7563658356666565","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":"Q1891250$C19D956D-C10F-41B8-B4D2-A082F54E270D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e103bd4c9dd0bc95ae7a2aac812824b74dc5c8be","datavalue":{"value":{"entity-type":"item","numeric-id":5701016,"id":"Q5701016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861ac8f60fc6f69ca32ab4adfc19b3dd18527bf7","datavalue":{"value":{"amount":"+0.7510760426521301","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":"Q1891250$22A6F45B-AED0-488B-938D-28D0DE646A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4b6aacac2905f2d1a06007cf73e67175da9b21","datavalue":{"value":{"entity-type":"item","numeric-id":1887664,"id":"Q1887664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3065b47856136bbceca50e65fa7baf62673db059","datavalue":{"value":{"amount":"+0.7504388093948364","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":"Q1891250$5633D04B-1337-4D1E-9690-13BFDCBAB607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246250b81c18d558af27f1d3272fd7aa30954f4b","datavalue":{"value":{"entity-type":"item","numeric-id":2013393,"id":"Q2013393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43bce7b59479d35ec28dd82d2e111d996cf0df5","datavalue":{"value":{"amount":"+0.7438103556632996","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":"Q1891250$A9BAC76A-1BE9-48D4-879D-EC9B7644AEE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model for intuitionistic non-standard arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_model_for_intuitionistic_non-standard_arithmetic"}}}}}