{"entities":{"Q1279969":{"pageid":1290719,"ns":120,"title":"Item:Q1279969","lastrevid":70065432,"modified":"2026-04-13T12:11:47Z","type":"item","id":"Q1279969","labels":{"en":{"language":"en","value":"\\(\\Sigma_3^1\\) absoluteness and the second uniform indiscernible"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251447"}},"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":"Q1279969$F55D5C6F-1D10-49CA-A84A-5A84075C2F2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b30e419591dbc50347fcaa7e2dcb34f126d23d1","datavalue":{"value":{"text":"\\(\\Sigma_3^1\\) absoluteness and the second uniform indiscernible","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279969$17648244-9248-4968-95B2-DB6E3AA2E386","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04d2241bcb2b5268104baa1c7a203531e647e0d6","datavalue":{"value":"0915.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279969$1AEF3598-0F32-47E8-9680-ED4D211AA621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eb8220c98f803c892b95b70385f7785710c788b","datavalue":{"value":"10.1007/BF02897063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279969$23B8CA21-E764-4D35-8B2B-771557CE64BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$D99EB571-EB9A-424F-B42F-3446C1E6DD54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$A142BEB1-A2C6-4321-A1C4-2E4DACD8E148","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05bf036feabda231d03853d981bfd44c2d1c51d8","datavalue":{"value":{"time":"+1999-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279969$32B5ABF7-4264-4D32-81C5-258459E896F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b24fa27ef90b3332da11f27a3455bf03aa85c448","datavalue":{"value":"The authors prove that if \\(r^\\sharp\\) exists for each real \\(r\\) and if \\(\\delta^{1}_{2}=\\omega_{2}\\), then there are inner models with strong cardinals. Also they prove that if the core model \\(K\\) is not \\(\\Sigma^{1}_{3}\\)-absolute, there are inner models with strong cardinals. The authors' stated interest is in the construction of core models, and these hypotheses allow them to construct such models which contain large cardinals. This paper includes an extensive study of universal iterations, and it ends with suggested extensions and open questions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279969$E536FC7E-69CB-4670-91FD-15012719B6B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$D98380B9-FF85-4C6C-B0D4-7295FD02CBF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279969$068BF415-1C2B-490E-BDF3-9545E91D7C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279969$2941BE29-ABFD-412A-B3F8-48161CAA133C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279969$C13627C4-1AA5-4F1C-8187-BDF665D4DFA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d5293eb4abf4ba37dc95bd66c146f37352bb017","datavalue":{"value":"1251447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279969$32BB84EB-36F7-4F02-B5C8-F3E7DC53CE8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f5b7ce138372608f03e1c8894162363ff1bdf9","datavalue":{"value":"inner models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279969$B5D1F79E-7A7A-4E44-9A90-171DC9BE7AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de1fb83a15b790be110a8a711efb9f2abab39cc","datavalue":{"value":"strong cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279969$95053F10-BF0C-456D-9056-0DF2AB47DED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1968dcf3cd7ce02d9451d5c51600f569b2486e0a","datavalue":{"value":"core model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279969$6C5927FF-5BE0-4E70-866F-3A765687E491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d24720a31d9856047e22df01d24ac5102ebe6ec","datavalue":{"value":"universal iterations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279969$9C67B6E6-2308-4E71-856E-5BE239F0BDC6","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":"Q1279969$3280834E-3095-45D6-8F46-FF42083A5FE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34752022760b90335724202ce223f4877729102b","datavalue":{"value":{"entity-type":"item","numeric-id":3929732,"id":"Q3929732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$BBEF6743-8452-4C6F-B517-A9221472208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a13a5d7a25c232c46051b0e10ef5b050d5522cb","datavalue":{"value":{"entity-type":"item","numeric-id":4163208,"id":"Q4163208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$7921EA80-65C1-4CD3-91D6-61908A1FC3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d217ad44c24e120d4988bf2903ffe6feaa3bf1e1","datavalue":{"value":{"entity-type":"item","numeric-id":5961724,"id":"Q5961724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$1F0EEEDA-ED61-43F8-A9CC-259E7E81ED21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a84dc4f9fc60bd2d9997d57972cce809796ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3944597,"id":"Q3944597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$853398E7-CA52-4D8C-A26B-4C52CD578C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1400b022f34a88b4f21388599945f7904c024c4","datavalue":{"value":{"entity-type":"item","numeric-id":2533607,"id":"Q2533607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$2680BC52-0DB5-4251-A519-35B2D6BFB648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f55333bc31a49bd999856db7ce681bd44da7180","datavalue":{"value":{"entity-type":"item","numeric-id":4291791,"id":"Q4291791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$D69DE899-4310-41C2-A7DE-9481508A3BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbdfce48d5a61157bc335c9c5ba0f477726752c","datavalue":{"value":{"entity-type":"item","numeric-id":4773709,"id":"Q4773709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$712123E0-8D46-4541-A654-F4E26DF3F4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4e2fdca0f86fb2644598f5d09f996798090f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4894730,"id":"Q4894730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$7B6FDD2C-8E8A-45BB-BAB1-1EE4127B1B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6a8bf8b994d68b52578a6bb51287e3b6c09cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5690487,"id":"Q5690487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$9B952AF7-9E58-48BC-89D1-32B60BF72278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe331ecbfe2bdf14f23df9f435287ca4be1926ab","datavalue":{"value":{"entity-type":"item","numeric-id":3309830,"id":"Q3309830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$37FBBD38-AD50-404B-B688-B42C47225307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318054b6ee98e6c19aec644216a77f9a5e699f44","datavalue":{"value":{"entity-type":"item","numeric-id":3342565,"id":"Q3342565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$CB07F48B-797D-4689-BA33-0B340AD78AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939d35b8eb84ca21a28383cd6c96d14123025e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5748195,"id":"Q5748195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279969$6C843C44-68F9-47D7-BD9C-B363AA142408","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39785f7c8d31d84d24ae1c94c28c5cf387104269","datavalue":{"value":{"entity-type":"item","numeric-id":5961724,"id":"Q5961724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d59e018e2f00012a87b1edb9c49179f8f4ccb6","datavalue":{"value":{"amount":"+0.7889679074287415","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":"Q1279969$F9E6E55E-0B10-45AD-B6C7-201E42477C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d23eda96a6087fab89614b0925d44d27c988b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1896614,"id":"Q1896614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2990be4cc89ac956064366fb2f2ad51b1225fca","datavalue":{"value":{"amount":"+0.7795982360839844","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":"Q1279969$001CF5D6-9DBD-4DF5-8235-C848C295D4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a25ccc04f10f998067ade95b560b4b37f2bc08a","datavalue":{"value":{"entity-type":"item","numeric-id":3126279,"id":"Q3126279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca05e2c567faacf9cc7391d828f9dabf0ba85a71","datavalue":{"value":{"amount":"+0.773368775844574","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":"Q1279969$A8BFFA67-710A-4C1E-A238-93B226A8F407","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Sigma 3^1\\) absoluteness and the second uniform indiscernible","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5CSigma_3%5E1%5C)_absoluteness_and_the_second_uniform_indiscernible"}}}}}