{"entities":{"Q1328494":{"pageid":1339244,"ns":120,"title":"Item:Q1328494","lastrevid":68612994,"modified":"2026-04-13T00:55:24Z","type":"item","id":"Q1328494","labels":{"en":{"language":"en","value":"Minimal universes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 611208"}},"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":"Q1328494$F2A284A0-99EC-4522-87A8-48347AFC8B26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18b1811f99965aad5c4ee7ce6ac51d20c555342c","datavalue":{"value":{"text":"Minimal universes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328494$2EAA37BC-5265-4B9E-84B3-C93BD663BE41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b5e9c5cfbb3f37e33256021e1a5f2e79ce44542","datavalue":{"value":"0810.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328494$5F1D350C-6535-4175-8500-1683D4BE41CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328494$61D58C3D-52AD-49A9-A1A6-72940CA5B12C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ce6b605d86b3d97b1a4810ba01e12a3ca3478f","datavalue":{"value":{"time":"+1994-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328494$98ED2F97-70DF-441C-A63D-617B4D8F9D2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eafbcf1c6a9704fe55cfc26287741e73584967f7","datavalue":{"value":"https://arxiv.org/abs/math/9211205","type":"string"},"datatype":"url"},"type":"statement","id":"Q1328494$8C60BDB0-72F4-4223-9E1A-AFC0CAE565C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14d1c98c77b4258765b88f89fe52a1712f65d1c4","datavalue":{"value":"The setting for this paper is G\u00f6del-Bernays class theory. A structure \\(\\langle M, A \\rangle\\) is said to be a model of ZFC if \\(M\\) is a model of ZFC in which replacement holds for formulae which use \\(A \\subseteq M\\) as a unary predicate. An inner model \\(M\\) is said to be minimal if there is a class \\(A\\) such that \\(\\langle M, A \\rangle\\) is amenable yet has no transitive proper elementary submodel. \\(M\\) is said to be strongly minimal on a club if there is a club \\(C\\) such that \\(\\langle M, C \\rangle\\) is amenable and \\(\\alpha \\in C \\to \\langle V^ M_{\\alpha}, C \\cap \\alpha \\rangle\\) is not a model of ZFC. If \\(M_ 1 \\subseteq M_ 2\\) are inner models then \\(M_ 2\\) is said to be a locally generic extension of \\(M_ 1\\) if every \\(x \\in M_ 2\\) belongs to a set-generic extension of \\(M_ 1\\). The main result of this paper is that if \\(V\\) is strongly minimal on a club and \\(0^{\\#}\\) exists, then there is a minimal and locally generic extension of \\(L\\). The proof involves backwards Easton forcing. A special case of the theorem is when \\(V\\) is the minimal model of \\(\\text{ZFC}+ 0^{\\#}\\) exists; then the theorem provides an inner model which is minimal and does not contain \\(0^{\\#}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328494$F86ED6A1-3DA4-4DA4-A6C4-A2F64468C63F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328494$A787EC98-C711-4BA6-B552-7BF43975662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328494$9DD2AB3C-F3FB-494A-AC26-4A29E41A8728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fabd1ed2c515d049abad5b251b51b1d08f56d93","datavalue":{"value":"611208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328494$F996F6E8-5B3D-4B44-8848-03F6046F423A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6942b2fc9b1e0f50839331daffc3dd6fbec7036c","datavalue":{"value":"minimal model of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328494$E72A4FC5-A606-4364-8DE7-7A9672D73F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a59d0d5db183e44c255476b4ad3a0f70ac50fe","datavalue":{"value":"0 sharp exists","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328494$354E78B5-B21B-4E44-925E-09246E573890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f0c636b140380c5c995cb47c9fe1e7e3b60c0f","datavalue":{"value":"G\u00f6del-Bernays class theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328494$3931F491-3B34-4BC7-B4CC-2E1DE593CA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f7028ce20d8220e961432a243eeaf98da4981","datavalue":{"value":"inner model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328494$38DCCB58-6370-4BFD-99B3-0B446786F00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e88caad28027e9451a918e9cd62e5d99cd98f69","datavalue":{"value":"club","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328494$4A743748-0553-4E8C-BD0D-BADC0A6C5754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3a17ee2f0c95f4af0ba9495f7673eaa83e643d","datavalue":{"value":"generic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328494$04473484-13F8-4AE4-AFF9-034EE7EB5E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77fecf2e4a0826de96da8359c66f0d005736683","datavalue":{"value":"backwards Easton forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328494$D603E7AD-427F-4841-AAC7-A4619CF7F7AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328494$CA59C99B-6B03-4EFE-8BA3-376BFF73B15F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328494$6DBA97A3-FBC5-4167-AA11-8A568EFF0F37","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":"Q1328494$C6037572-9DBD-4DDE-BAA0-0A9CBCC04FC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f133979c806b3ccf8040548544be148fd38d4a0","datavalue":{"value":"W4212776756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328494$A951DEEE-0BAF-444E-B197-48623FEF9B2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1822999d82dc340e03fac4c7c2b6df315547c735","datavalue":{"value":"10.1006/AIMA.1994.1020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328494$56B277B1-6434-41BF-AF76-66FF618A17F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2cc0aad6a29978cfed318f9a8974830eb9e16d","datavalue":{"value":{"entity-type":"item","numeric-id":4602509,"id":"Q4602509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdce43067392fadef1fd47699fccb88d490ee26e","datavalue":{"value":{"amount":"+0.7343816757202148","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":"Q1328494$A20CF9A7-A137-400A-A4BC-57F889759EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e5887be51171545d41674ac1b553187c30adb9","datavalue":{"value":{"entity-type":"item","numeric-id":914664,"id":"Q914664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56222a58cb0f57355de8b9d8a4d3f7936ff7db0f","datavalue":{"value":{"amount":"+0.7276403307914734","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":"Q1328494$67BB66B8-2A1F-40FF-A319-FAC3124F8AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffde9ccbf9adb72d829870fdb46effa70dfeebea","datavalue":{"value":{"entity-type":"item","numeric-id":3826548,"id":"Q3826548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e7fe5a02d047f24f8293268b04b793ba6830d9","datavalue":{"value":{"amount":"+0.7250447869300842","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":"Q1328494$54702933-F909-48FB-80A1-1A390DD73168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089d185c1f401267d5472be2fbef0966067eae08","datavalue":{"value":{"entity-type":"item","numeric-id":4247805,"id":"Q4247805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aab2c9acf66f45841712b13f9c68769ea544dbc","datavalue":{"value":{"amount":"+0.7243400812149048","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":"Q1328494$A0EC1C41-D666-4D21-850F-36F2E680A22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf266a8c1f485a4645d05212219018238b8c2e3","datavalue":{"value":{"entity-type":"item","numeric-id":1820156,"id":"Q1820156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757bf0a3699377d1fc1e2e3bec7a8633c131c705","datavalue":{"value":{"amount":"+0.7180823683738708","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":"Q1328494$486275F9-D40E-408A-AF1F-DFDD38704EDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal universes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_universes"}}}}}