{"entities":{"Q1126701":{"pageid":1137450,"ns":120,"title":"Item:Q1126701","lastrevid":66829407,"modified":"2026-04-12T13:08:24Z","type":"item","id":"Q1126701","labels":{"en":{"language":"en","value":"Generic large cardinals: New axioms for mathematics?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1184259"}},"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":"Q1126701$444CB258-4978-4D88-8E5F-F673A3501F6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56bc0c767e083f4bcd48a2a59da76d27f51b1244","datavalue":{"value":{"text":"Generic large cardinals: New axioms for mathematics?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1126701$390F988B-C3CE-4E88-9DE7-2CFDF6FDADF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"156d3d2b61832ea9c807c750dca1fbd37f4ef502","datavalue":{"value":"0917.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126701$547F9DB5-5AF2-40E0-9D8C-D5E25DC28953","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de34516db1062f7f3ec474c7507ef15facc24e88","datavalue":{"value":{"entity-type":"item","numeric-id":225930,"id":"Q225930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126701$BBFCEC6C-5298-472C-857B-BD2BD09B2A0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126701$3EFBAB47-68FA-491B-BAED-0EB0E33891F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3db2eb2e003c0308e77b1da3e621f97dd9657c54","datavalue":{"value":{"time":"+1998-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1126701$C7C258D0-0F6B-47F8-AC16-B892E40022E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c1ca2c33b7d0ef16cb1d1c0825fde2b71021ddc","datavalue":{"value":"https://eudml.org/doc/231091","type":"string"},"datatype":"url"},"type":"statement","id":"Q1126701$090883B2-4711-4883-80D1-AF91D30C5101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d74ff44c363a10611c92ccbda56172bbd05288e","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/xvol-icm/01/Foreman.MAN.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1126701$6DB7A106-7DC3-4A7A-89B6-6716964C672E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce8fd42bdb424b140a71c8f53c78c36120363f95","datavalue":{"value":"This expository article surveys some prominent independence problems and discusses the various axioms (or axiom systems) which have been introduced to settle them: the axiom of constructibility, large cardinal hypotheses, AD, Martin's maximum, the generic large cardinal axioms. It focuses on the latter which assert the existence of large cardinal type elementary embeddings definable in forcing extensions of the universe. The advantage of generic elementary embeddings is that their critical point can be a small cardinal such as \\(\\omega_1\\). Generic large cardinal axioms can often be reformulated as asserting the existence of ideals with strong properties, e.g., \\(\\kappa^+\\)-saturated ideals on a regular cardinal \\(\\kappa\\). The paper is an excellent introduction to the subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126701$6A94327D-34EC-4C6D-9DEF-B0AFA8272777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126701$215FA536-DF59-4BE5-B2E4-890A8433BE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126701$854A3A4A-E0E7-4D0A-8004-9E348A1C6F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126701$B76F9558-CF44-407A-A331-B476E8BABFD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da90924dba9fd9f82d318b4060bdc53dc1ed91c9","datavalue":{"value":"1184259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126701$EC58C85B-435C-4CCE-9FA6-663BDF5DD488","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eda0bf7840cad07edb828017204cb8f9a6e1f035","datavalue":{"value":"generic large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126701$2631A59A-84E4-43ED-86DA-3C01CF978A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c25d3f6f572bb0904496bf5bd0b0b2464fa99c","datavalue":{"value":"research survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126701$AAC84E6E-23FD-4205-9374-AD607B4A7B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4f25207c4b279095f02f0528895ed8b964a8b6","datavalue":{"value":"elementary embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126701$1950C12A-2DD9-4070-BA74-4CCC0981625E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0871af8099d63a907b730c565a0d6f00256fe4","datavalue":{"value":"forcing extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126701$61DD3B40-D660-435F-AABE-847C1B8A74BA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b505131a94c07467560b76707b78e01a9a72b95","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126701$A9F3282D-D731-4527-94A4-56213F953A76","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":"Q1126701$B654FDEC-9A16-4F68-9FC5-A6C92A7E174C","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"8fa85402e00ba2174c402765e7f3e297a4600f5f","datavalue":{"value":"bafkreigpeote7rjegkf4yphocnrmqpksowscq77z34m3lxmedumtumtkq4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126701$21A35D1E-2ABA-443F-8F93-07870196CC0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f8556884b36fee60f712824666d1695ffc5b49","datavalue":{"value":{"entity-type":"item","numeric-id":5107538,"id":"Q5107538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae78aa8117e9199b2489af6326a9dbcd84694e9","datavalue":{"value":{"amount":"+0.926867","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":"Q1126701$E9ACB980-AEE0-4B6A-A8A8-D92543B1A38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67d181f14bf3b429cb9471bd5f06dfd1278c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":3379457,"id":"Q3379457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721bec4414d7da68a7e908ca54c52ee29fb96e65","datavalue":{"value":{"amount":"+0.89746815","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":"Q1126701$EDDA11A9-2D19-4A29-B58D-CFFDFC32C2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f98af700b9dc3c5b9650333a73d5c31cb9c60c","datavalue":{"value":{"entity-type":"item","numeric-id":3305412,"id":"Q3305412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e5465aa571043938a8ed1629db0643a11d56d9","datavalue":{"value":{"amount":"+0.87721205","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":"Q1126701$2C49698D-3B9C-47E5-BA32-A6132E779978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200780f502ce2831b998412255dbf586dccb616f","datavalue":{"value":{"entity-type":"item","numeric-id":3728894,"id":"Q3728894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf64438dd0f507674a715332dd9f63037a1da2d","datavalue":{"value":{"amount":"+0.8768355","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":"Q1126701$89C5853A-79F9-4442-BA29-276FCA2FC7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42bb4be1453cdbdaa433a8b955feee85fae9b692","datavalue":{"value":{"entity-type":"item","numeric-id":5436985,"id":"Q5436985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7d6f23dbada2937f5829add4d8914d86c40b4e","datavalue":{"value":{"amount":"+0.87090486","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":"Q1126701$1EEB7088-99EA-4EAC-9B1A-B49C032CA6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bc724487a2811f8ff720b35ab5db0501be4c06","datavalue":{"value":{"entity-type":"item","numeric-id":6132567,"id":"Q6132567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caaeb268efbbd58a16860d570dd2825be6a50b0","datavalue":{"value":{"amount":"+0.8707576","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":"Q1126701$A9B8ACE6-AC93-429A-8FAD-00F5E5D91204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"990595f3435aaeef204cd239c85233daf274ade2","datavalue":{"value":{"entity-type":"item","numeric-id":2989972,"id":"Q2989972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3532a40cde8c9bb94af0066526d6339fe1e90cf","datavalue":{"value":{"amount":"+0.869411","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":"Q1126701$42D318C2-B11E-43A0-9A07-33BA26F49A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ae2ad66028d21104f22d7e1f1aea1e59cc137a","datavalue":{"value":{"entity-type":"item","numeric-id":3701417,"id":"Q3701417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2c2f153d1f76af03595a8871d6a3fa7e58e113","datavalue":{"value":{"amount":"+0.8662066","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":"Q1126701$98CA7F34-E0F8-47BB-A973-0E08BDA4C825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e533a8a555b427d61cebeeb6a2dec4325b459e","datavalue":{"value":{"entity-type":"item","numeric-id":1345647,"id":"Q1345647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c68d65ebbead750a4a1ee512b65d29db6ab9d2","datavalue":{"value":{"amount":"+0.86191833","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":"Q1126701$57AA4BD0-D8D6-4F0E-9264-22EDCE7D414A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b71476f8f7fa667fe371bd248ce139847bb0a07","datavalue":{"value":{"entity-type":"item","numeric-id":1377603,"id":"Q1377603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fc333fb4042c48cc9638b8d44e903f9d628253","datavalue":{"value":{"amount":"+0.86136997","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":"Q1126701$6E1C3578-0B6D-4898-957F-91FC1B02200E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic large cardinals: New axioms for mathematics?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_large_cardinals:_New_axioms_for_mathematics%3F"}}}}}