{"entities":{"Q691129":{"pageid":692978,"ns":120,"title":"Item:Q691129","lastrevid":63755946,"modified":"2026-04-11T15:20:18Z","type":"item","id":"Q691129","labels":{"en":{"language":"en","value":"On existence in set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6111349"}},"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":"Q691129$15A3B0CB-B884-4E1D-ABB6-E0683EE83B21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"357d6df3bb12961afad96cd56efc1605ab5f502d","datavalue":{"value":{"text":"On existence in set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q691129$59961DAC-A03B-41AB-9E3D-637428F9CCA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"800c6e45675f3525073bac0d6ce7ecb7c2b7132c","datavalue":{"value":"1266.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691129$B095AD73-4019-4679-93E6-36B1DBB1F0FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"191047fee107a388178f2760a78331fbb84a0c0d","datavalue":{"value":"10.1215/00294527-1722737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691129$2A9224BA-492C-441D-9AD7-9F652696E462","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4acd38a1ba9e4e6a2857ec2336c1f78ac7d6ed66","datavalue":{"value":{"entity-type":"item","numeric-id":497871,"id":"Q497871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691129$340AF709-11C4-4CF1-8FBF-0D84C497FEB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691129$BA1E9855-043F-4A9F-B864-A22A61458354","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd1dd78b610951b080ce7917880823f8267fcfa0","datavalue":{"value":{"time":"+2012-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q691129$E159F2D0-3E4B-4108-8883-A053883E7784","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80e5db6d19fba52b27b79e05c39691d2daaed6ca","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1352383230","type":"string"},"datatype":"url"},"type":"statement","id":"Q691129$998B753C-004C-4F22-8022-AEF7E54E0E3C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2ca3d9eceef4e4771cdd6703cf6b897b3994da7","datavalue":{"value":"The author provides a classification of the valid sentences of set theory by means of existence and related properties. Usually the axioms of set theory are separated into two groups, the axioms of the nature of sets, such as the axiom of extensionality and the axiom of foundation, and the existence axioms, such as the axiom of pairs or the union axiom. The existence axioms are again divided into two groups, the constructive existence axioms and the nonconstructive existence axioms.   The author takes another point of view and considers the axiom of extensionality as an existence axiom. He introduces six degrees of existence requirement. This leads him to the definition of productive and nonproductive assertions, constructive and nonconstructive productive assertions, and conditional and unconditional productive assertions. He discusses these notions and determines the degree of the axioms of ZFC.","type":"string"},"datatype":"string"},"type":"statement","id":"Q691129$465D02B8-2330-462D-AB41-C0BD70CFCC5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691129$83945D4D-E9C5-47A0-9083-427468787EF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691129$A1838D6C-ADC0-47E1-8F82-7AFA62D5CC78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50227033911cad592bda8b32747e401ed4069105","datavalue":{"value":"6111349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691129$93F8BBB3-F926-4061-BE2D-C9FB8B629430","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0f1d123be5ac7d507f7e0a871ba8cf6f858ed0","datavalue":{"value":"axioms of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q691129$490DDB1E-34BB-401E-9060-69A4B05FEE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cbee18759ecf8e73eb4a491be922bb334aff3b7","datavalue":{"value":"existence axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q691129$C9C41CD2-9820-40F0-9DFB-06666781DE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca41d6ee347cc158a36a7873c726cdedd627975","datavalue":{"value":"foundations of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q691129$114FF98D-C18B-4DCC-9D67-A4584EFDAE8B","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":"Q691129$E5E31FE2-5EB2-4A9C-B179-C7191AD17F0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bcb96dc5a12f8ece687c2b2d29896e2468ec08e","datavalue":{"value":"W2106735727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691129$065A26EB-D2A6-4FF4-B137-62A10AC609F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe447f578e2cb8ec9c17248c32e8835a2af4218","datavalue":{"value":{"entity-type":"item","numeric-id":1212459,"id":"Q1212459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691129$0E13CFDB-FAFE-4260-B859-5FD68BB45B05","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":"Q691129$3AF57F68-25EE-4590-BB91-5A5E62B2CEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214198c9cc9dd207287981a0395861f51c0a1666","datavalue":{"value":{"entity-type":"item","numeric-id":5559231,"id":"Q5559231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691129$CAC1B6E6-E702-4FA3-9C9F-DEE64484665F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691129$E2B0E010-D2FE-4075-8FF2-5187E2C65FAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67ca5e88211ef56bd10aa7fa17d4daeaa8cdb4b","datavalue":{"value":{"entity-type":"item","numeric-id":2443122,"id":"Q2443122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79bc6eb1a8b88e961b8d671cb3f80adb48453208","datavalue":{"value":{"amount":"+0.8330012559890747","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":"Q691129$5851E637-F1BC-485B-B32E-4F6BE3A9A66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebaeb24d669e8c4387b500d08e63ac916669834","datavalue":{"value":{"entity-type":"item","numeric-id":3720593,"id":"Q3720593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb75c1b82b0f543ca15b6f5305d2a6ae983d5147","datavalue":{"value":{"amount":"+0.8273341655731201","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":"Q691129$C9D34150-6937-47EA-A21D-DFD3D10BD456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1ff5e73e1c921e39dff61455385cbb64d19e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4712181,"id":"Q4712181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add5469766e6b4546ae1a6abaca60fce6d6b0e2d","datavalue":{"value":{"amount":"+0.7353505492210388","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":"Q691129$D5A00B15-E9A0-432F-A6B3-F89B58AFAAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a294d5bfbcfaf4f78d0b1cd0b4f00d11d631b4ca","datavalue":{"value":{"entity-type":"item","numeric-id":580327,"id":"Q580327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4849cb62462575232dd95ea7a05913b45d145564","datavalue":{"value":{"amount":"+0.7329704761505127","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":"Q691129$2E7BAA92-E211-4CE2-BED0-C59CE99894F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297a5c2013f94ca4d7877fce77e98228b1303c41","datavalue":{"value":{"entity-type":"item","numeric-id":3029004,"id":"Q3029004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d45e81508790c6a07f93044b4f67d876ffe1f7","datavalue":{"value":{"amount":"+0.7278757691383362","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":"Q691129$3D6CE48F-AD02-4023-82CB-ECB045BE2BD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On existence in set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_existence_in_set_theory"}}}}}