{"entities":{"Q4264537":{"pageid":6294138,"ns":120,"title":"Item:Q4264537","lastrevid":96529823,"modified":"2026-06-05T11:31:23Z","type":"item","id":"Q4264537","labels":{"en":{"language":"en","value":"Special Model Axiom in Nonstandard Set Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1339459"}},"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":"Q4264537$F640E346-8D4A-4A8F-9F41-F5BB91FA73CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3508fb87e5d5242b6d4aee97bb65c8eca92520ea","datavalue":{"value":{"text":"Special Model Axiom in Nonstandard Set Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4264537$9FF15563-A900-420B-A314-D80719E22E48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8628888b0e84d62e271851c5cf10b36e77f1f425","datavalue":{"value":"0931.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4264537$D8737A5D-B8FD-4A47-B8DB-D4F205B24188","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":"Q4264537$2AE136F1-EEED-4E90-9AF6-F3123194C68C","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":"Q4264537$F218E50B-2632-42B3-97F7-8A1B791215C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4264537$D361CFAC-8BD9-45A7-9343-7E03C42D4561","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b17fbfec200bcf11c37dd1a72a5e177de6557760","datavalue":{"value":{"time":"+2000-02-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":"Q4264537$D39662B7-5017-4EE5-BBA9-1F596FA79269","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4264537$36F7F95D-9D21-41E0-938A-F8DAED8795D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4264537$CD7E089A-DBE8-4ADC-B4A4-8997FB83583B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4264537$EAD15D3C-8881-48EE-84B2-6C61F331D5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4264537$0501AE8A-D62B-424B-BA90-608C7BB353FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65c18bccc60d1fc5dcffaa2106abd11f5e13f457","datavalue":{"value":"1339459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4264537$D8E8B83F-8600-4BF6-BD2E-E96738B6F6D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ced799092004c48d2d0b00ad42d7ca1fbd4198a","datavalue":{"value":"nonstandard set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4264537$6F30BF7D-24A8-4BDE-9942-F37937786B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6693851d8e469e8f04105a611be4f6ea61dcbd16","datavalue":{"value":"special model axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4264537$D4E8959B-007A-47B8-AA77-D734690A058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b20e7bfa86e20d58163cd87412821e6d192d861f","datavalue":{"value":"axiom SMA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4264537$1A568F3D-7BA9-4E83-BB73-197D04A41BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e6213ff461bbdf3e5599f7aa76067766865b468","datavalue":{"value":"KST","type":"string"},"datatype":"string"},"type":"statement","id":"Q4264537$2AF34CAB-ABA5-4281-A953-E2D6244CCE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4264537$E64D09FD-C40D-47F9-B780-506F672DBFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8881015787bf047dae62873da753128823db4f5","datavalue":{"value":"\\(\\kappa\\)-saturated model of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4264537$CDEFFA19-1812-45FF-897F-338A7152E300","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":"Q4264537$B45F6422-1DF4-443F-9650-66FB80FBBB1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"061a0e898680ecf6affd2296eba8bb229a7c4ee0","datavalue":{"value":"https://doi.org/10.1002/malq.19990450308","type":"string"},"datatype":"url"},"type":"statement","id":"Q4264537$EC72D256-83D1-4123-B70E-2833AE2E308F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b54d5b9d290e0a7498b2d6d659bd1051d1279503","datavalue":{"value":"W1974534958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4264537$C7A691C3-9CD2-4CAB-809A-2E2CE133DD9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4e0eace94869ecbf3838142f8e21ac2d358409","datavalue":{"value":{"entity-type":"item","numeric-id":4063441,"id":"Q4063441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4264537$73F57AEE-A03A-4453-9869-E87ADDA31073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a20d0e80e9aa5631238a80fd263f30ad4c33573","datavalue":{"value":{"entity-type":"item","numeric-id":4032875,"id":"Q4032875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4264537$BC63E36C-348C-4AE1-9015-B6755A8B1BC5","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":"Q4264537$84D12571-6EF0-49AD-8699-6CB728FD97E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b799269e5c7aa6ad3b191d2908385aa2a11381","datavalue":{"value":{"entity-type":"item","numeric-id":4338503,"id":"Q4338503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4264537$0F6CD918-AEF4-4CC3-A044-5BEBD2F396BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530d847018e3a0de5fb81b10ce651eddefc3be62","datavalue":{"value":{"entity-type":"item","numeric-id":1372154,"id":"Q1372154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4264537$8B6A0D54-4ACE-4E45-9B2C-DA6DE1032751","rank":"normal"},{"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":"Q4264537$57F48824-1E7E-4DDE-82FC-B7E4351D5194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045a0da979ba466c7bf91239859143f1c6d578a6","datavalue":{"value":{"entity-type":"item","numeric-id":5752574,"id":"Q5752574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4264537$7B6969EA-535B-42F0-A43B-B060C612FFAF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"501d819d41c3bda63f4ee78564914892ab928efe","datavalue":{"value":"Q114018764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4264537$CABC27BB-5A8F-4091-AA53-372EC4D59FC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"754cb6403b8ca47ad02650f609cffa1248a5c0d1","datavalue":{"value":"10.1002/MALQ.19990450308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4264537$2B1834B2-35CB-4751-9E7E-DE93352D8AFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae38ce6bba2bc42d3267c7e41f5977733dc94cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5752574,"id":"Q5752574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d151dc7c789e9d8cdc1285bca74f095d371412d","datavalue":{"value":{"amount":"+0.7715935111045837","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":"Q4264537$F1F82B83-99A3-4271-94C1-67D4912FC340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5bbe4371aa6d7ec39865c5bebe9ebc61fa7db2","datavalue":{"value":{"entity-type":"item","numeric-id":3329469,"id":"Q3329469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e651d01c0278580c65fbd9277a92867534b0e98e","datavalue":{"value":{"amount":"+0.7396043539047241","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":"Q4264537$D44BAFC9-6A65-4635-BF6C-2FB72DEF9D81","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":"310064949b66d7593c0ff15bbb8816666b1f1a6a","datavalue":{"value":{"amount":"+0.723487138748169","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":"Q4264537$FA906A5D-B55F-4A4F-AC9E-1E95B2899484","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":"42081b6065c75fb6638437b6f1833e1493843f4a","datavalue":{"value":{"amount":"+0.7181985378265381","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":"Q4264537$0E6F8F11-5BAE-47CF-B12A-41428374C43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d9d8eb6c54107f4b59779c894853ca7f732139","datavalue":{"value":{"entity-type":"item","numeric-id":5445164,"id":"Q5445164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9670a5bc3a127744c5431273a35a72d2c04d8fac","datavalue":{"value":{"amount":"+0.7045239210128784","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":"Q4264537$6FCBFED5-D2E3-4A81-8185-638FEFBAE2B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special Model Axiom in Nonstandard Set Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_Model_Axiom_in_Nonstandard_Set_Theory"}}}}}