{"entities":{"Q5961724":{"pageid":8138526,"ns":120,"title":"Item:Q5961724","lastrevid":47422765,"modified":"2026-01-01T17:10:14Z","type":"item","id":"Q5961724","labels":{"en":{"language":"en","value":"Strong cardinals in the core model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 982618"}},"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":"Q5961724$2BD30218-3EED-4447-B6C9-8F6379BB3B04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b59da53733bb3d6de19fa86bb0f841f5fdf10c7d","datavalue":{"value":{"text":"Strong cardinals in the core model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961724$595EA279-8E45-4370-B934-538CA21BDE68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dbe4b135418c7ff2ee455c3ffe8774507bf000e","datavalue":{"value":"0869.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961724$77FB142F-4907-4BBE-B218-1FF08BEBD46A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c53703d0da3d809c62b71ce9a8d83027cf6e942a","datavalue":{"value":"10.1016/S0168-0072(97)00014-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961724$059C12AD-5A01-4D1C-84F4-E7384B7FCAF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6874ab072f7df1caf8b0f02503c8e16180c73e38","datavalue":{"value":{"entity-type":"item","numeric-id":238493,"id":"Q238493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$B9F952DA-2F26-4EDC-86D3-0F40CD6D8E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5738eb3854fc36645e29768aaf0acf38cf2f8db4","datavalue":{"value":{"entity-type":"item","numeric-id":242609,"id":"Q242609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$D4A4895C-C677-4D47-A0A5-6BF7E92BC29F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$72092A66-4ECD-401E-A069-017E56591E62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b542de9a034a40cb22912249b510303fb6eedddc","datavalue":{"value":{"time":"+1997-08-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":"Q5961724$64CF09A9-519B-4822-9C5C-48AD0CB56E55","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25a711f7578258ef9d6b5007bacac185c12fc54c","datavalue":{"value":{"entity-type":"item","numeric-id":1201241,"id":"Q1201241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$1DDF0A02-CCA6-4ABC-B50C-178029AEECF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961724$5B3A739D-164A-4A12-AF36-87C53A6F7A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961724$72EBCF7A-969D-40B2-8218-08D829ED0500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d53076a5f7a7775c2f894f8d1cf6037edc6ddb8","datavalue":{"value":"982618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961724$B10DB90A-7948-42FB-9474-BD1BEE2E4F0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de1fb83a15b790be110a8a711efb9f2abab39cc","datavalue":{"value":"strong cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961724$D3415905-2164-4785-8675-814D34DFB7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcbe258a3cd646378339f94ab4370c50e571c8c4","datavalue":{"value":"Steel core model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961724$7B0CB50E-3F78-48B0-BBBE-548C505C10E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41087f9df69f47c9ce3d9c6cb69423a49405fbbd","datavalue":{"value":"projective set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961724$B7646F8E-9AD1-4A98-84E2-B2270E4BF579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d05e3b4848f1c5fc4abe6d3027ac7da7539cb8","datavalue":{"value":"measurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961724$C677894A-5624-41AB-9B13-885CE7D8549B","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":"Q5961724$8EADC51E-9C1D-4C30-8286-06C673B588F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb370a045d8549d177fa2034cef5be06c85a1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5961723,"id":"Q5961723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$1ADABAA9-7F9C-4299-8F84-0A8E872598D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d56f2ed253e035a09ff7810220a140bbc578947","datavalue":{"value":{"entity-type":"item","numeric-id":3318772,"id":"Q3318772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$146FA3DA-0007-4D2C-81FD-522DA1EFA93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda8da851a3bd922f54f5e11ff004e1ab10a037","datavalue":{"value":{"entity-type":"item","numeric-id":3905272,"id":"Q3905272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$C48FC696-52BC-4570-8350-8C3996C04ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac6a5f830937429e346b92b981f00e78ce91dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3953756,"id":"Q3953756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$7BD95003-A1DD-47D3-A2D1-3F306D070437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10c62d3597e149b450e3821c05ef78b557723a1","datavalue":{"value":{"entity-type":"item","numeric-id":1896614,"id":"Q1896614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$BB07322F-F8AB-43CB-A988-C38BC9AAF63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b3a8e13cec436225107bdf344bb241f63b9b80","datavalue":{"value":{"entity-type":"item","numeric-id":1210774,"id":"Q1210774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$CE951808-CD35-4979-803B-51C530CE3A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff421539903c14ff8cc2d3dae22e0ae4478ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":5645417,"id":"Q5645417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$6CEDFEF2-DA4E-4D0F-936D-4300EAF92A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$F6ECD72E-0752-4F1B-9BA9-285A25343340","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":"Q5961724$3145FD2F-00D6-4C35-86A7-79E8D98B14D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e9621e33c24015246230bab72a5d6f133223db","datavalue":{"value":{"entity-type":"item","numeric-id":3820593,"id":"Q3820593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$55882393-EE9C-4EA1-AC83-62A517B41966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe9e3d52131032099759134248cf40dee0775cf","datavalue":{"value":{"entity-type":"item","numeric-id":4276535,"id":"Q4276535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$8E376158-2559-49A8-8DC1-D76DF19D9877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8699ad1131399a6cabda5734ba47e03d660e21","datavalue":{"value":{"entity-type":"item","numeric-id":4047554,"id":"Q4047554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$070983E4-F6DF-46C4-9C63-B8B5E0920B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a9f292ca2e3addf0ca1e26f87fa6b03b4c3f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3325716,"id":"Q3325716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$37FDA136-C98C-47C2-B48B-E16E8EF8DD18","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":"Q5961724$8627BBC2-7BE6-43E3-A087-211DAA10791B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335c6898b623e4f1b597b8de51ac68b03bb50c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1910658,"id":"Q1910658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$32533CE0-D9DE-403C-A32B-9E5768AB7E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d78a1b07e45134ded1111b5114ab0ee3f160fc","datavalue":{"value":{"entity-type":"item","numeric-id":678765,"id":"Q678765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$E546CEEB-2767-4029-A751-63DD9785A6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$1B54F2DF-F900-4B44-B7F9-A1E22821F3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4721d481a6965c118b000aa9ab3cb17995e0b6","datavalue":{"value":{"entity-type":"item","numeric-id":2560243,"id":"Q2560243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$9B72D402-09C4-4A17-A70B-21FFC913D8C5","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":"Q5961724$D9AC8C5A-13E0-4852-B911-DCF979AE432B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff4d5c03506aa8e1392e030a50892db8d6a95bb","datavalue":{"value":{"entity-type":"item","numeric-id":1314641,"id":"Q1314641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$AEF5B32B-A232-43F9-BA5F-A4C210E7031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64527fef4b906e17ba8fb3bb677fb4a237760c16","datavalue":{"value":{"entity-type":"item","numeric-id":4779661,"id":"Q4779661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$48F9D067-FCEA-47BC-9E36-E471B1DEE5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e946293557bc9082c85487711f9db321c55546","datavalue":{"value":{"entity-type":"item","numeric-id":1279969,"id":"Q1279969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$FB28FAF5-2D1F-4C32-B2B5-D7E4375FA87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ef142cc8dcaed4c5ed627c8e375fb4990fa374","datavalue":{"value":{"entity-type":"item","numeric-id":3333028,"id":"Q3333028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961724$7A9F7BC9-FDAB-4482-9695-63F5837AC2B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f764af1e83a7c59c8941064fb1227fd45ca69ac","datavalue":{"value":"The paper studies strong cardinals in the core model. The present paper (quoting the authors) is not concerned with pushing at the boundaries of known core models. Nor is it relevant to sharpening the tools from Steel, or any of the covering theorems, or correctness results. This paper is in some sense a pause, returning to the much earlier problem of attempting to understand the core model theory at the level just beyond the level of one strong cardinal, when overlapping extenders make their appearance for the first time, and certain types of descriptive set theoretical phenomena are seen in their simplest form. NEWLINENEWLINENEWLINEAuthors work with Steel's core model under the assumption that there is no inner class model for a Woodin cardinal. They prove, for instance, that, if there is no \\(<\\omega_1^V\\) strong cardinal in the Steel core model, then \\(K\\cap HC\\) is projective, and many other interesting things.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961724$9BBC8577-A220-4BB4-AA48-C9036E65B93D","rank":"normal"}],"P1643":[{"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":"f3500675e6bf2944967e523e45f9c5c342f3d48a","datavalue":{"value":{"amount":"+0.8547016978263855","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":"Q5961724$84950905-FB73-4348-8BAF-18054D0D822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a9059882474da91b55e640852ae7315303e713","datavalue":{"value":{"entity-type":"item","numeric-id":1602852,"id":"Q1602852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3500675e6bf2944967e523e45f9c5c342f3d48a","datavalue":{"value":{"amount":"+0.8547016978263855","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":"Q5961724$DEB2A2F3-9451-44E6-A0F3-2DFD925C8BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d1c726768dab6100f6f7996a0a108feddb122","datavalue":{"value":{"entity-type":"item","numeric-id":4732464,"id":"Q4732464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2e818d07ecb9182fc91033d1369f6c10bf3ebc","datavalue":{"value":{"amount":"+0.8023821711540222","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":"Q5961724$474DAD23-3630-48D8-B73B-42333CF190F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df3b4701fa923f56e21b7fc124ef0a97ba4e114","datavalue":{"value":{"entity-type":"item","numeric-id":4934561,"id":"Q4934561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ac7970ed20683d0201a22ddfbf84d4c03f1ccc","datavalue":{"value":{"amount":"+0.7922180891036987","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":"Q5961724$9522E740-7B0C-4C87-9571-859256C15A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f51fbc58b39d6fdf452d567b1dbc15d50457e6","datavalue":{"value":{"entity-type":"item","numeric-id":3995709,"id":"Q3995709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4059a653a03f8303901b09f890dbd6cc16e10c","datavalue":{"value":{"amount":"+0.7920055985450745","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":"Q5961724$E7E24484-8F8F-44AF-88E3-DA7DB9F8A7B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5961724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5961724"}}}}}