{"entities":{"Q2486987":{"pageid":2497730,"ns":120,"title":"Item:Q2486987","lastrevid":48528091,"modified":"2026-01-05T03:03:51Z","type":"item","id":"Q2486987","labels":{"en":{"language":"en","value":"Forcing and antifoundation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2194767"}},"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":"Q2486987$581C30BA-7DDB-46DE-BBD3-3F38A503138A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c12b615d33079abe0ed7c8822682b63a5d4ea79f","datavalue":{"value":{"text":"Forcing and antifoundation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2486987$75DDFC94-4C6C-4519-8422-15FD6612A86C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc5d7687421fa274c10ff9101e88996b5647e610","datavalue":{"value":"1085.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486987$E73A03A8-F992-479F-8D6A-B66C0E1E2140","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486987$1A910856-7B13-4C02-B22D-B4DFCFF735E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486987$73E61D23-323F-4EAF-AEE2-C156429604A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f7da25f0352325b237ec8b5ac3a231082f46afe","datavalue":{"value":{"time":"+2005-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2486987$A8752C76-EF5D-44B6-AAC5-A7383CE6551F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"611cc99058ec6ff8ee97b8cbf451f5073aaa214b","datavalue":{"value":"The author reworks the machinery of forcing under Aczel's axiom of antifundation (a strong negation of the axiom of foundation) [see \\textit{P. Aczel}, Non-well-founded sets. Stanford, CA: CSLI (1988; Zbl 0668.04001)]. The main result is that if \\(M\\) is a countable, transitive model of ZFC minus foundation plus antifoundation then so is \\(M[G]\\). An erratum points out that a key point of the argument (the truth lemma) holds only in a weaker form.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486987$C9F7BE9A-CEF3-4C70-9516-0CA2248AE752","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486987$A5DF1924-732C-4585-AC24-9D450E121AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486987$EA047FEB-DE7C-4D12-B12F-DA6EE0ADF691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e74cca279d56f2ea79502e18811629ff2a7b72ce","datavalue":{"value":"2194767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486987$AB4FA524-8708-4EE8-9C1C-C5249AC19C6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486987$64235445-F6A5-4B1F-8CF4-C2CA105252D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c6235562dc0eab11f092f0fd132bb65aa6d603","datavalue":{"value":"genericity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486987$89AA9D37-7A5B-4554-876F-2A191FE8278A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33811c1bc0bd0eda053d363993cda012fc80071e","datavalue":{"value":"antifoundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486987$C18CA55E-D2C1-43C9-B020-AC23A4B973F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"826db22c8ad0fdc537525e95eba03f39da931f90","datavalue":{"value":{"entity-type":"item","numeric-id":178041,"id":"Q178041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486987$8288E7B5-DAE0-42C4-B383-68993732D2DD","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":"Q2486987$911C6A46-D9D1-424D-BC5A-3FEF5259D6C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44c828d94b43ac97b0500d1c60032a929e6c05c1","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0268-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2486987$AF291134-BD96-4009-BE0C-9B568CC51CE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b5bf54b20291cd40bceaa86ee6e5b1bb6c75232","datavalue":{"value":"W1972724775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486987$2C322B42-7A5F-42F1-928B-E60139354F44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486987$D09020C0-6AE1-43F5-975F-20F317E8B95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486987$3EB8B44B-0DE8-4AEB-83A2-B1DCF23C0449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74b2777125bf2365605be57db48f9972e29adcd","datavalue":{"value":{"entity-type":"item","numeric-id":2552132,"id":"Q2552132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486987$A6B4EF50-9E61-40CC-A086-959982EFBB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486987$BFCA5AE9-140D-4A88-9211-997B0A9563E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486987$5751B8BB-52D2-45B0-84C6-DA862CCECCF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9902ccac8d4f01f3a101815ae28746c83208c2ae","datavalue":{"value":"10.1007/S00153-004-0268-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486987$2E02156D-93DB-4564-AC5F-F37A6A8E74CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e1e21f2446f97ff9bb0023cc7abe1f7a49b10c","datavalue":{"value":{"entity-type":"item","numeric-id":3117780,"id":"Q3117780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07337b0850c48ced865ca699e94b3a859efc79c","datavalue":{"value":{"amount":"+0.8786454796791077","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":"Q2486987$1775A13D-CBED-4846-8079-6164EA3DE76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c12ac2114a639ea21da43d1232a17c61a2511c0","datavalue":{"value":{"entity-type":"item","numeric-id":5485403,"id":"Q5485403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ec4c7729027b5c43a67350266434245f70308c","datavalue":{"value":{"amount":"+0.8289268016815186","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":"Q2486987$542D323D-8911-4F93-B5D1-C067F7109265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad53ebad60a8b81ed146029b22073aa6d4a84866","datavalue":{"value":{"entity-type":"item","numeric-id":3629227,"id":"Q3629227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9d10ebee105872745c143187032fccc637fc53","datavalue":{"value":{"amount":"+0.7829398512840271","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":"Q2486987$4BDB560E-69A2-44A7-94D1-A43CFD8646CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ba1e3811f42dee98d58934b79d7e5f8a153792","datavalue":{"value":{"entity-type":"item","numeric-id":3990239,"id":"Q3990239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623b520f9d0e2e52e212d65243f38e8aa2f3102e","datavalue":{"value":{"amount":"+0.7629451155662537","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":"Q2486987$B50F7894-4972-402D-80D4-F7EFD549BD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c375728ada4da8e61ea0e18768a47e825efbb1ba","datavalue":{"value":{"entity-type":"item","numeric-id":4327367,"id":"Q4327367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff4dc4ed2637265b8deefca48443737c91a27fd","datavalue":{"value":{"amount":"+0.7629449963569641","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":"Q2486987$EC2ADA3F-F0A4-4E16-B434-4C29A06569D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2486987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2486987"}}}}}