{"entities":{"Q1970591":{"pageid":1981333,"ns":120,"title":"Item:Q1970591","lastrevid":82264337,"modified":"2026-05-06T20:29:26Z","type":"item","id":"Q1970591","labels":{"en":{"language":"en","value":"Extending standard models of ZFC to models of nonstandard set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420235"}},"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":"Q1970591$62318071-1B93-419E-921F-2D9D6B5FA1D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72612cb50c87173b6109f9e0bb6ca1cd9b28c5d8","datavalue":{"value":{"text":"Extending standard models of ZFC to models of nonstandard set theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970591$3E90A158-7C85-4BCC-AABF-91DF72D47400","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c236aaa4a01a9073284b2e8d4178fdf89fe164ac","datavalue":{"value":"0969.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970591$4842EBA1-E255-4DF0-BB4C-D282CA5B59FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60b2a7993ccab066cca90ba0e169fa4ebe8bc711","datavalue":{"value":"10.1023/A:1005286212737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970591$537DF9F5-72F8-4A00-AB83-FE0987751B6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970591$E4D33ECF-41CA-449E-AE42-C8FA2A537851","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24b0115b00159b0b379aa6d875fc4c22fbfeaead","datavalue":{"value":{"time":"+2000-03-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":"Q1970591$F31E77AC-DF87-41DF-B142-D8B43D9CA177","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0751fc19497c3db2d9d1ec3974b23ca714080d3f","datavalue":{"value":"The authors investigate a possibility to extend a model of some nonstandard set theory. Let \\(\\text{IST}^+\\) be the internal set theory of \\textit{E. Nelson} [Bull. Am. Math. Soc. 83, 1165-1198 (1977; Zbl 0373.02040)] in the st-\\(\\in\\)-language with the following axiom: There is a function \\(\\mathbb{C}\\) such that \\(\\mathbb{S}\\subseteq\\text{dom }\\mathbb{C}\\) and, for any nonempty standard \\(x\\), \\(\\mathbb{C}(x)\\in x\\) and \\(\\mathbb{C}(x)\\) is standard. Then any transitive model \\({\\mathcal M}\\models \\text{ZFC}\\) extends to a model of \\(\\text{IST}^+\\) iff there is a well-ordering \\(\\preccurlyeq\\) of \\({\\mathcal M}\\) such that the structure \\(({\\mathcal M},\\in,\\preccurlyeq)\\) is a model of ZFC and \\(\\text{truth}_{\\in,4}\\) is innocuous for \\(({\\mathcal M},\\in,\\preccurlyeq)\\). The authors also present characterizations of transitive models \\({\\mathcal M}\\models\\text{ZFC}\\) which extend to a model of NST of \\textit{K. Hrba\u010dek} [Fundam. Math. 98, 1-19 (1978; Zbl 0373.02039)] and KST of \\textit{T. Kawai} [Stud. Logic Found. Math. 111, 55-76 (1983; Zbl 0542.03046)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970591$2DB70864-FD91-480C-9236-B92E7D8E15BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db4dd281735bccdbfc8df45ccfed3297c43da776","datavalue":{"value":{"entity-type":"item","numeric-id":588659,"id":"Q588659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970591$47DDE495-F454-4F25-96A3-07D832EB9676","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970591$0BCA8B67-B19B-4DA8-A22F-58516BEC631B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970591$17C313ED-8CCE-460B-9F98-723AC4C444C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970591$3852F3AF-E746-4A99-A4C7-7A534ADB0B6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0508f24b09c38fc8b0a240d9313f526d776d2059","datavalue":{"value":"1420235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970591$AFF96BD6-2523-40D5-84B2-74E90AECB0A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ced799092004c48d2d0b00ad42d7ca1fbd4198a","datavalue":{"value":"nonstandard set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970591$E04AC01F-1D17-48DF-8CAE-5C4D6ED48C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452daffbc0e9b5f609d47796ead6caac389b3c1c","datavalue":{"value":"internal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970591$37F5F4D0-4ECE-4ED6-B58B-9066B28B1FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5962ba668960f5b23bdd17a01442d3b7088d3b","datavalue":{"value":"transitive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970591$76B7B01D-84AF-40D8-992E-E2232861FF81","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":"Q1970591$6D6133BF-59AF-4C14-80F5-73AFD1FE61B0","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":"Q1970591$EAA6B344-5ACC-44E0-9F32-0D13BAD737D5","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":"Q1970591$BDD2D8EE-5336-4C8A-B756-C5F0A94B85A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45c1047d78074aac9106abc0876fd866746ce893","datavalue":{"value":"https://doi.org/10.1023/a:1005286212737","type":"string"},"datatype":"url"},"type":"statement","id":"Q1970591$7A6CBE1C-B637-4796-8936-844F84CBE59B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28e42e8e873f731275335316fbe2dd9954a4e62d","datavalue":{"value":"W1552286990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970591$6094423E-CFA7-4E87-A391-0A43497B2C30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d400134a9ed03fd4d38f317b19dd804a9c251d2","datavalue":{"value":{"entity-type":"item","numeric-id":1972520,"id":"Q1972520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77b79bbdaa4c0e0528d32837563b3d0f8c03c5d","datavalue":{"value":{"amount":"+0.9541069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1970591$FD36176B-CE86-42CA-A6AB-72A086FED569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2cc0aad6a29978cfed318f9a8974830eb9e16d","datavalue":{"value":{"entity-type":"item","numeric-id":4602509,"id":"Q4602509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8e77d34148627b8b31359bced0fff074a18c4b","datavalue":{"value":{"amount":"+0.89170134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1970591$7B421034-524A-4999-A6DC-05A1C70429D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd78ae687f11601819ad17e8a5161b086a13f0e","datavalue":{"value":{"entity-type":"item","numeric-id":3714081,"id":"Q3714081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dc7fd8c1bd7e6a59e2405ead5b2ff1ec109ba1","datavalue":{"value":{"amount":"+0.8865644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1970591$2FB06AE3-0BC1-4455-8640-DCB79F8B4761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44046a8f7f816c49ffa731e1c2ea354a912b1aaa","datavalue":{"value":{"entity-type":"item","numeric-id":2473643,"id":"Q2473643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b1609550fd3d7686a78f667ebb8f083f98c10c","datavalue":{"value":{"amount":"+0.886428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1970591$828610FF-F762-48E7-A2C9-50F787CCAE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf1db2ab6c3c38cfa39f70a96c3c15fca399b25","datavalue":{"value":{"entity-type":"item","numeric-id":3688384,"id":"Q3688384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19798a8f4b7f6f8f322846024335ddfe0658f0a2","datavalue":{"value":{"amount":"+0.8770109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1970591$74FE487A-FF4D-402B-9C6C-6E5F4C5EC308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8349d54365dca68f373ca1f3f062662a8ebff3a5","datavalue":{"value":{"entity-type":"item","numeric-id":3754613,"id":"Q3754613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef594d607e24dd70cbc7dfbb8d772bfe1e9f2c39","datavalue":{"value":{"amount":"+0.8736367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1970591$6578BA21-EFDA-43BD-8D20-64E13BD9D159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"836f9848032b8b86f67195e83a8845f5c5f71708","datavalue":{"value":{"entity-type":"item","numeric-id":5293403,"id":"Q5293403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6911620e6918cc1c6e23378cbf102ad5c8feff7b","datavalue":{"value":{"amount":"+0.8693514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1970591$B26F8AE4-D2F3-4C43-BD89-55328A4061E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08551cad56c3d3e55420617ab14d8f7859521298","datavalue":{"value":{"entity-type":"item","numeric-id":3676140,"id":"Q3676140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6e8426659e5b27e6eed3cbc3ffe33d44f0ee91","datavalue":{"value":{"amount":"+0.8689817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1970591$B2E37BCE-5F1D-4136-A8FF-5B31E06D5AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200032853886760369967fb34d032fa7001c5132","datavalue":{"value":{"entity-type":"item","numeric-id":3699685,"id":"Q3699685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4af1673d8a3abebc2f4e1407683b7c8167a6ec","datavalue":{"value":{"amount":"+0.86685735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1970591$2AAA7864-B75B-40AA-B16E-7E897D191932","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending standard models of ZFC to models of nonstandard set theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_standard_models_of_ZFC_to_models_of_nonstandard_set_theories"}}}}}