{"entities":{"Q2827952":{"pageid":2838690,"ns":120,"title":"Item:Q2827952","lastrevid":58025133,"modified":"2026-04-03T12:16:52Z","type":"item","id":"Q2827952","labels":{"en":{"language":"en","value":"What is the theory ZFC without power set?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642525"}},"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":"Q2827952$7F427B0B-5BC1-4484-B33C-40581BFF6E36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e81a2f700a1748118c00df3253080894d38b16e2","datavalue":{"value":"1375.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827952$79E532B8-0B4F-428F-93A8-BE7B62002790","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b305a5ef85fd84981f6c316a74538be082ff022","datavalue":{"value":{"entity-type":"item","numeric-id":412052,"id":"Q412052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$E8F04797-6EC6-479E-9100-5B77D74974F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c237c0edc686c7e9971d10e201d8b8137b9a6f25","datavalue":{"value":{"entity-type":"item","numeric-id":167886,"id":"Q167886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$2B45D8D1-CEE1-430E-9B1C-4D02CF1D5EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09a8058658b05735ac57985f99660d2906e93549","datavalue":{"value":{"entity-type":"item","numeric-id":989411,"id":"Q989411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$D9889C7D-D0AF-4A38-B10B-A2C742CF57F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827952$42B726C1-59A2-4592-A643-15B0E17820E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2e648d14b5d9f7fa11634332d4cf42f0657fee1","datavalue":{"value":"https://arxiv.org/abs/1110.2430","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827952$9809C8B9-1BE3-4B3D-BAE6-FC70AD2C6629","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827952$C7B7184E-628A-4010-AE28-ECAC7D029A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827952$58176C30-519A-4BCE-B237-CCD6D08AA041","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dc9a5dbe288e71698b743c5efaaf92047729d06","datavalue":{"value":"6642525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827952$E354AC63-F27F-4A78-A34A-A57FE6717BAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0aecb294830fa74274d773ff85c9c5c2dba911a","datavalue":{"value":"power set axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827952$9EB39185-2DB1-4423-807D-BAB961081D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb1873568042d47189123cb0c20a2e598b087c4","datavalue":{"value":"theory of ultrapowers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827952$B99DEA7B-D69D-44D0-A1E9-14C432FC107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827952$13524780-5080-4B34-85B3-CBA132AF64A5","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":"Q2827952$D61334B5-79CD-44D6-83DD-6DFACC855157","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f2c3e8487a0c8163a5414376c16c474f835bdc9","datavalue":{"value":"W1933515991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827952$2A5665FD-FCC2-4207-A08D-3233C65CC491","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dab651f871ea381719d71abe84dddef4665e909","datavalue":{"value":{"entity-type":"item","numeric-id":3053892,"id":"Q3053892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$C0890F12-403C-413D-B1AD-39B26A70DDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e577befa1fdd4ce2f3b5c65d3cf5028a3ba35765","datavalue":{"value":{"entity-type":"item","numeric-id":3011118,"id":"Q3011118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$8891980F-7A11-402F-A458-BB9A0D64F545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5cf4b21b3cc5a0c9be7ceec4ab89cdf57a6d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4358046,"id":"Q4358046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$A86CC992-8569-4D61-97CA-DF84E6BD1BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3e94c65e6d25dab65fb854e5be27be6f6c9285","datavalue":{"value":{"entity-type":"item","numeric-id":4811323,"id":"Q4811323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$1785941A-4000-44D5-9AEB-46FF3129806E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b15b56fff2dd29966ae6ececc4b0d9db8928e462","datavalue":{"value":{"entity-type":"item","numeric-id":989412,"id":"Q989412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$D430033F-7E59-4B87-A38A-EDF28B2F6C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84aed00dbf9a634e134ca2b4035b09f342338cca","datavalue":{"value":{"entity-type":"item","numeric-id":5596765,"id":"Q5596765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$F78347F3-359E-4357-819D-7C9A47084D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed207326ec5f4c834fa050653882e901d0e854d","datavalue":{"value":{"entity-type":"item","numeric-id":2461186,"id":"Q2461186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$C74AC40D-1C81-417A-B4D0-D4A21E1F6B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854453734ce24c43dbb75876d8ebf58288567023","datavalue":{"value":{"entity-type":"item","numeric-id":5331492,"id":"Q5331492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$26511C2D-A527-425E-93ED-54C02DF9C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29570cf420ee9f93bc4fb172808e13b2b8b577ec","datavalue":{"value":{"entity-type":"item","numeric-id":3053909,"id":"Q3053909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$0549A4DA-7137-4EE8-959A-12326D68E47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$403E63C3-C256-4F9B-B44E-367C29333C21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cfde717f24e1c13ffb6077f46ac2e91f78df968","datavalue":{"value":"10.1002/MALQ.201500019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827952$D57C54B0-0261-4F13-AF43-7B5EE6DB853E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1a9bf11a5dcd65bf0b26a6231026f1ba78ec33","datavalue":{"value":{"entity-type":"item","numeric-id":4305344,"id":"Q4305344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991474bd6a4c327d7071f2a57364564ab6706522","datavalue":{"value":{"amount":"+0.7712327","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":"Q2827952$C862B3B0-E54E-4DDC-B108-0D4B1B03685A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70b5a91b3b5fb07f76629c7eb2c0f9310bece7","datavalue":{"value":{"entity-type":"item","numeric-id":3173841,"id":"Q3173841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1439351ed508293f4e53a0374e46d8f24a720ec2","datavalue":{"value":{"amount":"+0.74315274","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":"Q2827952$6813C0B4-3F8E-4052-BC3D-534C526F31EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da70d6fcc7fbdc8462b0c7707166d59fc3ed266","datavalue":{"value":{"entity-type":"item","numeric-id":4704657,"id":"Q4704657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236785c5e712056ddddd4868db9cbd74a6da5660","datavalue":{"value":{"amount":"+0.7424237","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":"Q2827952$CBE1EB3E-F272-480D-92A3-AB96597351DA","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":"0895e1945a84fb2db02bd0a550a1f2b898ef6e9e","datavalue":{"value":{"amount":"+0.73654556","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":"Q2827952$451AB0C6-4E12-4289-BA23-CEFEBB1201B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef235c452988a2f1e85cd286d7c65273d11299eb","datavalue":{"value":{"entity-type":"item","numeric-id":1354318,"id":"Q1354318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29b6e4c2292b66e18401184d64688583d98d356","datavalue":{"value":{"amount":"+0.73125637","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":"Q2827952$F7F4B325-C9E9-4D46-8437-6DF45269768E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2908cbaab29052706519e708e73d2377a6939eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3095834,"id":"Q3095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc15db8c669194292d1d040fabf81d3fc240eb8","datavalue":{"value":{"amount":"+0.7282078","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":"Q2827952$483B1998-C4F1-442F-B418-4D25B76C78BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a06a118e525f62d2a195296ad3c9186e936cf64","datavalue":{"value":{"entity-type":"item","numeric-id":5253934,"id":"Q5253934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c6d3aa292010903d7ed5a7a65935b4f96e3729","datavalue":{"value":{"amount":"+0.7280845","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":"Q2827952$9D9BEAA3-62B4-4BAA-9BC1-2C166A6E247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b7342948516a7e93c6a9e82b05372659aa660c","datavalue":{"value":{"entity-type":"item","numeric-id":5495521,"id":"Q5495521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680b6124f2d78cbf5973b9e574075719520a97c5","datavalue":{"value":{"amount":"+0.72572356","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":"Q2827952$8E28D64B-6677-4F54-A443-87779FB2224F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231bbc9e0e2677aa573dc98c3f3a4c5e29b3f720","datavalue":{"value":{"entity-type":"item","numeric-id":768277,"id":"Q768277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfa53ff1cd0ba0f3d44cae65878558f07961e55","datavalue":{"value":{"amount":"+0.7243155","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":"Q2827952$367C97AC-42EB-4222-9B93-4B7553F10937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a6a9037a2b9a947506237b0b443df7b3bb5f8b","datavalue":{"value":{"entity-type":"item","numeric-id":3592784,"id":"Q3592784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81257cad3d965497eff1b7549c8355d539e404a8","datavalue":{"value":{"amount":"+0.72237915","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":"Q2827952$1952A8EB-7013-4A94-B899-249721169C17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5df49c0affb22577813cca22267bb5b78ce7f985","datavalue":{"value":{"text":"What is the theory ZFC without power set?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827952$083E886D-7733-4D97-8E1D-E52F9F2F9C75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$211A3992-E756-4A7E-B2F4-2A3573818E3C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab218b8e6492f05dc354291b3579708628a8cde1","datavalue":{"value":"The authors propose that ZFC without power set should not be identified with the theory ZFC\\(^-\\) obtained by removing the power set axiom from the usual axiomatization of ZF supplemented with the well-ordering principle. The standard for making this judgement is the theory of ultrapowers: A model of ZFC\\(^-\\) may not satisfy fundamental theorems of ultrapowers, as it is proved in the paper under review. The problem of ZFC\\(^-\\) is the weakness of the replacement scheme in the absence of the power set axiom, and this can be repaired by the use of the collection scheme instead of replacement. The preferred theory with collection scheme and without power set is denoted by ZFC\\(^-\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827952$4A1F2708-BC72-4370-A43B-B9070D6728B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0d5b667c549839fa6816b54d5311c455754880d2","datavalue":{"value":{"entity-type":"item","numeric-id":497871,"id":"Q497871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827952$C6276005-F2A3-4171-882F-37D50F65C5EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2827952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2827952"}}}}}