{"entities":{"Q1972520":{"pageid":1983262,"ns":120,"title":"Item:Q1972520","lastrevid":78063683,"modified":"2026-05-06T10:41:57Z","type":"item","id":"Q1972520","labels":{"en":{"language":"en","value":"Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429627"}},"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":"Q1972520$83604EB6-CF82-41AD-8FC2-7F8429A68466","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a197f4cbf2fcd46dd4978239b5bd433ae9e37b99","datavalue":{"value":{"text":"Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972520$77DD14E8-9C53-4C44-8911-B8C599042361","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b500edc90b832dd56a4fc4d4dd4537cec6c9e8fe","datavalue":{"value":"0955.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972520$E89255A9-C7B6-4940-8394-B28F69B757B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"894748623215a9e9bd0c6007b7e9f73b478f347f","datavalue":{"value":"10.1007/BF02674872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972520$DC15C675-C0A6-438E-9467-30739A59B41C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972520$92AB4E25-45AA-49E2-82A0-1F0F3D140274","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31dc98a3522cea06def52b76cde8003aebdf2e71","datavalue":{"value":{"time":"+2000-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972520$1CF90FA1-734C-4917-B285-5777E96CB918","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5677c183f63aede9353a49cd99104f8db4f5c3d3","datavalue":{"value":"The authors characterize the standard models of \\textbf{ZFC} set theory that can be embedded as a class of standard sets in models of internal set theory, \\textbf{IST}. The basic problem is to describe the transitive \\(\\in\\)-models of \\textbf{ZFC} that can be extended to a model of \\textbf{IST}. The authors derive sufficient conditions for the existence of such an extension, which are necessary for the \\textbf{IST}\\(^+\\) theory that is obtained by adding a certain natural form of the axiom of choice to \\textbf{IST}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972520$842D679D-54FF-4BDB-A263-EB1B7A01C53A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972520$18DB6FBE-5708-4060-9439-3B982BDFB2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972520$94E4C0E1-D8A4-4B1D-99B7-5AC64E73F7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972520$B4F5A4BD-1174-412A-B10D-07A6F6F536F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a113c03bf24e636200e010b32482cfb24b9c6d8","datavalue":{"value":"1429627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972520$DCD734C0-350C-425F-89F4-831192C0618F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c222d2154c724462abd633657d9386ca4ec975ff","datavalue":{"value":"Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972520$693C2E58-C461-4F2E-8CF3-C6271855753F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452daffbc0e9b5f609d47796ead6caac389b3c1c","datavalue":{"value":"internal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972520$7F705A5A-D699-407C-90A0-A56CD4AD75BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972520$D72DDE31-5FEE-4F11-A986-EC4681F53A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9256724b8e750d74d5ea25645b17fc8bb369e885","datavalue":{"value":"ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972520$EBD01333-3F03-412A-8906-6C4060C3A407","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b09d794e8860c4a5215cac175587d216774250","datavalue":{"value":{"entity-type":"item","numeric-id":161810,"id":"Q161810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972520$C7D75C7B-423C-4538-8B89-7D5B76BAB14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8dc76b03bc2d014d8ab8ed0f2e7ad66f294c77e","datavalue":{"value":{"entity-type":"item","numeric-id":161811,"id":"Q161811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972520$311024B4-1C13-4746-A3BE-8C812E342AAE","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":"Q1972520$9512189C-FD40-462F-8B43-38C6F2B70FA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2770e1b1bced5acaf1a085e30e72a51ee32bf","datavalue":{"value":{"entity-type":"item","numeric-id":4149449,"id":"Q4149449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972520$4E5D4E00-B332-4B52-9C77-FD48686D61C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6772a7673bdcd061b51c91290a9fefbb8f3840dc","datavalue":{"value":{"entity-type":"item","numeric-id":4149448,"id":"Q4149448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972520$C7C6A9BD-DE3B-4A52-9E03-917A7CC4B452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9cc5d25fc44671bc83063c24afe0691e760460","datavalue":{"value":{"entity-type":"item","numeric-id":1908856,"id":"Q1908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972520$326C9E14-4901-4319-8EFA-438DFDC6AFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ca6e30831fabe8ac3abc25c7748339b0fe0aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4385854,"id":"Q4385854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972520$99182F23-FB07-47F4-9332-0EED3B8FB3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49437fefa8fa5ffddf6c068c71437af5b1707e81","datavalue":{"value":{"entity-type":"item","numeric-id":4692687,"id":"Q4692687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972520$CE6F95B9-8BE0-45CE-B89B-477C5FD9832D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f75464fa13eb22d09c65555bfc583ae7aed842a5","datavalue":{"value":"https://doi.org/10.1007/bf02674872","type":"string"},"datatype":"url"},"type":"statement","id":"Q1972520$A1EF51A5-FA7C-464F-8AA0-E7A846CEAEFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bae10f373e7224349a6b6e0651ae40196e28d05a","datavalue":{"value":"W2119083681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972520$5AB61364-69A6-4F08-8327-E747C7F55317","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8983a47c1661737d54751914fe79fc986e1c791","datavalue":{"value":{"entity-type":"item","numeric-id":1970591,"id":"Q1970591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d272890b632981436b4d8567ffff49783ea2903","datavalue":{"value":{"amount":"+0.9028979539871216","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":"Q1972520$842CF1A9-A1DF-476A-B41F-20886A5BF7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"483dfe619b6fdaa277b62772e3815435cb89275f","datavalue":{"value":{"entity-type":"item","numeric-id":3362990,"id":"Q3362990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69073b2b7b8706962ab4779ecddf7cae4dfb8f01","datavalue":{"value":{"amount":"+0.8058810234069824","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":"Q1972520$CC9AB4B2-A04C-4DB8-BB6B-9B4B75CB72BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71d6f0e6068541f0ae7642605f690e66679b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3145977,"id":"Q3145977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ef426cd6a25d256c2d2a17000229beaccd293e","datavalue":{"value":{"amount":"+0.7895309925079346","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":"Q1972520$42743D0A-07F5-4375-90B0-0975F2ECA3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305fb3e6c32f38c79730d60d184030081d538eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4532617,"id":"Q4532617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e9915ef79cef2a7adba505ad1dad3d982428e8","datavalue":{"value":{"amount":"+0.7886301875114441","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":"Q1972520$7F0E1559-CD9C-4E47-8C03-9A94E4BC419E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extension_of_standard_models_of_ZFC_to_models_of_Nelson%27s_nonstandard_set_theory_IST"}}}}}