{"entities":{"Q1820156":{"pageid":1830898,"ns":120,"title":"Item:Q1820156","lastrevid":49040161,"modified":"2026-01-06T12:31:57Z","type":"item","id":"Q1820156","labels":{"en":{"language":"en","value":"Minimal model of \\(''\\aleph ^ L_ 1\\) is countable'' and definable reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993576"}},"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":"Q1820156$D0CC439F-5A3B-4F61-B635-1CBAEEF5D951","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b61ec15fc2f842716029f6321337b0ba716cd21","datavalue":{"value":{"text":"Minimal model of \\(''\\aleph ^ L_ 1\\) is countable'' and definable reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820156$D025390E-8158-489E-882A-F806E871F3FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74e54e65c33076c8e1d9da1d1836c61d968e9926","datavalue":{"value":"0614.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820156$6C4369C6-22D0-4B6F-87F1-0BA8185011DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1218677585784fab056652f165c91fe1e5282c59","datavalue":{"value":"10.1016/0001-8708(85)90005-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820156$9C045776-0F58-447F-8DC7-6FF1E907FAE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3a8a0ef7c0c8d4c0d1181c361db30c054bb33e","datavalue":{"value":{"entity-type":"item","numeric-id":193710,"id":"Q193710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$47703DEF-7F05-4074-9074-CD9AF236EAA9","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":"Q1820156$DA37EA2F-C90D-4CBA-A938-D50F70E4A6F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1820156$60BFE854-0BAF-468F-9AED-D2ED47B65ABD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49739c50761dc229f15c96c8b4167fd9c1574468","datavalue":{"value":"First, a result of Prikry is proved, namely, if M is a countable, transitive model of \\(ZFC+V=L\\), then there is a generic extension which is a minimal model of \\(''\\omega^ L_ 1\\) is countable''. In the second part this construction is modified to get a generic extension M[a], \\(a\\leq \\omega\\), with M[a] still a minimal model of \\(''\\omega^ L_ 1\\) is countable'', and such that a is a \\(\\Pi^ 1_ 2\\) singleton and all constructible reals are recursive in a.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820156$CCF5E7EE-AD60-47D7-84A5-56E7C9EBBD74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820156$F624A9BA-0593-4276-BBDE-2A069EFF9EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820156$99AEAB92-5153-4CD3-A9E9-D40A8D5FA39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820156$1D5A8B07-4621-46CD-852D-557BE5C1FCB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5231546bc05b8abd744d4cbb1d7500d9f796d1c9","datavalue":{"value":"3993576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820156$337F76EA-0792-475F-8C1A-B9ECDBFEBEA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c2f1ebdcb0ab53efd5bdbb157090c1e9b0f08a0","datavalue":{"value":"minimal collapse","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820156$4D59D112-DB36-4EC7-B477-A177DE1229A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820156$030F1D6B-1B32-411B-9D7A-0E3C0AF561FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3a17ee2f0c95f4af0ba9495f7673eaa83e643d","datavalue":{"value":"generic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820156$48F6E130-213D-4E10-802B-DAA2E9E786C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"826db22c8ad0fdc537525e95eba03f39da931f90","datavalue":{"value":{"entity-type":"item","numeric-id":178041,"id":"Q178041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$37CC08BE-1CB0-4758-823A-3F9011BDD6FA","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":"Q1820156$4BC71F57-F17F-44C0-97EE-6A3D7DD727DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53a7481f327a02ed6062d5ed2bf8bf4fe334316e","datavalue":{"value":"https://doi.org/10.1016/0001-8708(85)90005-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820156$F41B3FF1-3A24-4E3B-BED6-BAA5204B72D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91111ce90d7005054fb72bab9a623af5df4c3c32","datavalue":{"value":"W1966278898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820156$3F224742-5903-4C2F-B955-B41498987FDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ffac94d12e294f37ef6ea8f24bb5bb3757ff45","datavalue":{"value":{"entity-type":"item","numeric-id":4141244,"id":"Q4141244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$1AF0652B-FF89-45AE-96CE-B0356D2A20AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27aadaedced7c7d0a32e641f99bf0398e1b5db33","datavalue":{"value":{"entity-type":"item","numeric-id":1219884,"id":"Q1219884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$11560267-E16B-4B7D-B9B3-12DE89566D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6a9836d17f17b5972a6076ae952bed0ed21db9","datavalue":{"value":{"entity-type":"item","numeric-id":1120429,"id":"Q1120429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$1A57843A-E01E-4E95-A8BA-B71FEFF3E5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f443312fd326dec5c6aad0da984ea936534e525","datavalue":{"value":{"entity-type":"item","numeric-id":5656764,"id":"Q5656764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$135CCAD3-E5F1-46F3-B280-D249E5E4F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$1D0D77EA-B359-40BD-8922-E1A6AD508830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b925524429d1fe93684c705869e846dbfd40a4dc","datavalue":{"value":{"entity-type":"item","numeric-id":5626664,"id":"Q5626664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$D37B8543-A241-4774-901C-C136C5A296A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc2ac97ca3b69341be3426465908c6bbe17c368e","datavalue":{"value":{"entity-type":"item","numeric-id":1238035,"id":"Q1238035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$D9A84BAB-318A-4D6A-978B-FDBD2E1D82F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48785beb02d573cd442266e75a8e0bc255566f83","datavalue":{"value":{"entity-type":"item","numeric-id":5678856,"id":"Q5678856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$2A322387-F867-40C2-B948-6CFD7ACF970D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a825d2dbf52ce6c4160ff38184e0a1a02ba46c18","datavalue":{"value":{"entity-type":"item","numeric-id":1142207,"id":"Q1142207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820156$1E377B26-0DB2-41CF-9C34-6F477E81DE1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c0238e358b8bdf13240aa2fbc07c3b4001b821","datavalue":{"value":{"entity-type":"item","numeric-id":3715107,"id":"Q3715107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008e517c00fa6e93cd3f33971b34140aab39a6c1","datavalue":{"value":{"amount":"+0.8022122383117676","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":"Q1820156$EC9B8CDF-0544-4C2D-874A-C5BEE0971FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f86a249bc019c54b22c5fb7178d1d4e8a41075ef","datavalue":{"value":{"entity-type":"item","numeric-id":4628681,"id":"Q4628681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7e0d37136b64d01f310c3afe02e4eaaad098f1","datavalue":{"value":{"amount":"+0.7721561789512634","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":"Q1820156$14D3AA2F-8732-4278-A5B8-F660CD3911FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb56a474f4d1f2337cab2e10407c8d6c41ccfca","datavalue":{"value":{"entity-type":"item","numeric-id":1361253,"id":"Q1361253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f6025b87746b14bc2935d2697c72c2058d9427","datavalue":{"value":{"amount":"+0.7587553858757019","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":"Q1820156$A2457694-3A89-4912-A8A0-FA9BEBBC6AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0df7b2183459e2523f37c0950f0e382e5962e1","datavalue":{"value":{"entity-type":"item","numeric-id":665897,"id":"Q665897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34855c8490291b8da5bbaf4c119b7e7c6d84c7b","datavalue":{"value":{"amount":"+0.7503488659858704","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":"Q1820156$0E7B43FF-D29D-48E3-95B4-C712F7DEB2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8db33ee599b1fd56d815ba41351e3c74c79ebdb","datavalue":{"value":{"entity-type":"item","numeric-id":3328537,"id":"Q3328537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c55eb824acc4fdf2ef9cfe99b3e1297937ac8f7","datavalue":{"value":{"amount":"+0.7465294003486633","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":"Q1820156$4659CCCB-E748-4C69-87B3-B204A38D14D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1820156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1820156"}}}}}