{"entities":{"Q1580651":{"pageid":1591391,"ns":120,"title":"Item:Q1580651","lastrevid":72243798,"modified":"2026-04-14T03:35:49Z","type":"item","id":"Q1580651","labels":{"en":{"language":"en","value":"A very strong set theory?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512002"}},"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":"Q1580651$DC3A054D-01FD-4AF3-9D72-9095727FF404","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b4a0d4e6c295b20526f9a17909724e3bd82fa6d","datavalue":{"value":{"text":"A very strong set theory?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580651$E48CFEE8-6F86-47C6-917C-405348C89168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d49b99a57c892f692f28235faa4ee650790f810","datavalue":{"value":"0967.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580651$A7854648-1C50-4303-B03C-92D2A302AC41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6480cd475b3b86e08bcea79e33552fda34d6b77e","datavalue":{"value":"10.1023/A:1005048329677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580651$DB92FE5E-82C3-4141-91D6-D2359A29B2F9","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":"Q1580651$2EB0EAF8-DE8C-4ED0-A4C6-76D77B638D06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cab350fec2640d23353b9d957c48eec19a2e6ac4","datavalue":{"value":{"time":"+2001-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580651$EB224B4B-95B3-4EC9-8DBD-A7BD75D62C3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbc9574d5f2a212d53ae51f3c6e0bd97f3812f77","datavalue":{"value":"The author develops a set theory \\(\\text{IC}^*_2\\) with two \\(\\in\\)-relations and versions of the axioms of extensionality, comprehension (of naive set theory), union and existence of complements which combine these relations. In this set theory the set-theoretic operations on the universe \\(V=\\{x;x=x\\}\\) do not depend on the particular \\(\\in\\)-relation and, moreover, \\(V\\) is a Boolean algebra with respect to these operations.    Reviewers Remark: Concerning the consistency question, M. Goldstern has some unpublished notes on a set theory with a universal set and the existence of complements of every set. He drops the axiom of foundation and requires power set axiom, replacement and separation (Aussonderung) only for hereditarily well-founded sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580651$DAD55630-37AD-4035-A8F5-920A2B33413E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5fd9f3f0b8e3bd4ab7545fc7b132020a15f97f0c","datavalue":{"value":{"entity-type":"item","numeric-id":793376,"id":"Q793376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580651$51BA9397-EC46-4AE3-BD9F-C0B51A33B70F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580651$D18CF6C8-F31B-4518-928A-93130BC74284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"660f354e6fe97169df0b588d392690f7cd3271d9","datavalue":{"value":"1512002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580651$67CEF724-FA99-4F92-BDDC-1DBACFCC5A7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79529df2cbe83fdfa0e447082ab79849cb30d1cf","datavalue":{"value":"set theory with two \\(\\in\\)-relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580651$211AA43C-B319-4CE3-AB22-D978E9AC3D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580651$52E56998-9A14-4051-8270-9C7C9D10FDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580651$737F5617-6D88-44C2-BD5F-6E489A7108EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580651$91D3B64C-2C35-4625-B5B2-920B84EE0EF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abbee602f10dfd485b9c86471b2bd23b957c2ed4","datavalue":{"value":{"entity-type":"item","numeric-id":490319,"id":"Q490319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580651$098FEA48-A891-46BE-BE31-F00332160C92","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":"Q1580651$4C7C4244-ECA6-4F20-A33A-8C17CF37205D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdabae116005026afd26b4d986522d35b8914fb","datavalue":{"value":{"entity-type":"item","numeric-id":4726244,"id":"Q4726244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce0b8d335343ceb813e1d2235086a438093e244","datavalue":{"value":{"amount":"+0.85596585","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":"Q1580651$E67E83C1-0A79-473B-9F5C-A3BFD6D8306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac44864081e20a97e699de19f291f24b9a191470","datavalue":{"value":{"entity-type":"item","numeric-id":4781608,"id":"Q4781608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a227a13cfed53b743459de3f72a6411753e52d","datavalue":{"value":{"amount":"+0.8484738","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":"Q1580651$4E6BCB06-AD74-4AC4-AD81-CCD4F71FAE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d3f97ff3b8146def73d7f1b611c0476fee2545","datavalue":{"value":{"entity-type":"item","numeric-id":2714832,"id":"Q2714832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2812740060e267b4bf22fb6bc82a22f14b0c17d3","datavalue":{"value":{"amount":"+0.83864033","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":"Q1580651$16E1BFF0-09D0-4E8E-9845-091732977845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d12dc3e537d7ae4263e1cba4e46528c2d65a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3145980,"id":"Q3145980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf04abbb3119a6151e429ce253a36d5e2f09abbe","datavalue":{"value":{"amount":"+0.8359498","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":"Q1580651$F1C62C24-341B-4393-84F7-DFBB04655E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3694e14260164871ca2d37a82872e4babaf2666","datavalue":{"value":{"entity-type":"item","numeric-id":1810816,"id":"Q1810816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a774c3b3a241a40c8a17e4802d8623e8164f515a","datavalue":{"value":{"amount":"+0.8348091","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":"Q1580651$29F48BF0-A77A-425B-8B35-CF390290CE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce2f7e5ddb4b9d851080762de5abf7abb44e7cc","datavalue":{"value":{"entity-type":"item","numeric-id":2433742,"id":"Q2433742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be5b514e5f5cc8f40113ccd758e352bca2731bb","datavalue":{"value":{"amount":"+0.82628447","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":"Q1580651$E25ABF54-6B0C-40C1-9111-2AC6CFFAD056","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":"b69b8364935cac9f626ab1e3f51737b4a99757bb","datavalue":{"value":{"amount":"+0.82389426","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":"Q1580651$DD19EECB-32A5-4391-829D-B0078CBE9350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9cbed57b5549ce2dd09221583f71e8b3a71706","datavalue":{"value":{"entity-type":"item","numeric-id":2998170,"id":"Q2998170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43821a45c22dcc05da1da4e972c1508b7aff3da6","datavalue":{"value":{"amount":"+0.82308656","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":"Q1580651$11E7E897-11A7-4F92-964E-08F4DD821C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fdf3c49bfcbb0fd43addad1f924613c61d3ed8a","datavalue":{"value":{"entity-type":"item","numeric-id":5798136,"id":"Q5798136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a5313ac774fbdba630ec38086b90c15268b3c0","datavalue":{"value":{"amount":"+0.82098705","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":"Q1580651$57C6B32F-1C46-4C05-B48B-D8664642EBAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A very strong set theory?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_very_strong_set_theory%3F"}}}}}