{"entities":{"Q1099171":{"pageid":1109923,"ns":120,"title":"Item:Q1099171","lastrevid":69637281,"modified":"2026-04-13T08:22:08Z","type":"item","id":"Q1099171","labels":{"en":{"language":"en","value":"Some applications of short core models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039887"}},"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":"Q1099171$1D9C56D1-6177-4E27-939F-AEEA21192367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ffb7f2f375386dc7d06e7a4f3b5e233ebbf8493","datavalue":{"value":{"text":"Some applications of short core models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099171$5717A747-82B7-4E76-A1E2-0E70AAA8DAC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0de08b92a5bc2f56f996fb3f1226966a2f51fd0","datavalue":{"value":"0638.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099171$51E4C799-D70B-4168-B099-F7BA22394840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22f268f134be31e8b0a113b679edabdd475a8eb1","datavalue":{"value":"10.1016/0168-0072(88)90026-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099171$49A2E4A4-8357-4BE0-A53C-0A7B38133365","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d0b9b61d83d1e98f6242a5df0440e02577e539","datavalue":{"value":{"entity-type":"item","numeric-id":375822,"id":"Q375822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$6CCEB070-7F7F-4A0A-A3B2-18DF596BE9F1","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":"Q1099171$8F02D497-6BB3-43F3-A898-0215ABE2F157","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1099171$5F59059F-3669-4D37-B018-B7A9B0724C9B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3c2d754c7755582737a939308bb311e300ac2e6","datavalue":{"value":"The author reviews the main properties of short core models (which arise in the study of inner models with a sequence of measurable cardinals) and applies his theory to get estimates on the consistency strength of various combinatorial principles in terms of the existence of inner models with many measurable cardinals. The principles considered include instances of Chang's conjecture, ``accessible'' J\u00f3nsson cardinals, the free subset property and a non-closure property of elementary embeddings of the universe.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099171$6912C860-B58B-4962-BCCE-BF3BF08E2571","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f98ee58fa25fbd22581b8277cc8492aa7c19b098","datavalue":{"value":{"entity-type":"item","numeric-id":759746,"id":"Q759746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$BB45DE68-F92F-4B41-8AC6-DAFE05830092","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099171$81CB9A37-F034-4435-BA06-77F371809333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099171$1FDB09DF-2EBD-4CA2-BA17-0BC734C31E34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"281126a95bb1225fdd3c73c8d8b024dd99509d13","datavalue":{"value":"4039887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099171$F2C8C2AB-742E-4506-9F82-E9C8B4AE1A4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f753373a7a623b7cc1579310440a3a5a7c9da11","datavalue":{"value":"consistency strength of combinatorial principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099171$D30C1D2F-DD52-4132-B942-9CB64B6AA15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9317cffeb2396b47463fd045c52d08698028128a","datavalue":{"value":"short core models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099171$1D118CC1-54BF-4E16-962C-DC0DB98708EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f5b7ce138372608f03e1c8894162363ff1bdf9","datavalue":{"value":"inner models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099171$0C2A0C6B-6B03-428D-BCC2-2854F0FF867A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53ace298fbc2a675299a1bf7cd9b781ea633c88","datavalue":{"value":"measurable cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099171$CC7AA4F3-1FD0-4646-8603-2C491FB067A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d1748161cd374b78718e9dc78eebe810016fd6","datavalue":{"value":"Chang's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099171$F767145F-0B3B-45F6-B1A2-1253D2539575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7de53984f9970ceba51c9103396d75f903558dbe","datavalue":{"value":"J\u00f3nsson cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099171$5D7FBB58-C237-487F-8586-C46569156D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0591913b0cb283cd848f792af9ee400134d1c1d","datavalue":{"value":"free subset property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099171$2C0B645B-778B-4AFC-A00C-513A689E4BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea45dcb7592115b1f5f1ed90a994ed079fe7a55d","datavalue":{"value":"non-closure property of elementary embeddings of the universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099171$3151A11B-13FF-46DC-89A9-DA884C725EB5","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":"Q1099171$B3DFBC54-2043-4111-A914-A6AAABDA162D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df1c4695208b6795bb395617aa270b8b7a002024","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90026-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099171$12FF5E31-9942-4897-B9D0-411CCCA496E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b741484755d26e510c147d7a0ca52fcedc3d4270","datavalue":{"value":"W2004621166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099171$A1397DAA-CDAD-4C20-BDAE-4DFF29D1292C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$8992723D-B0CB-42C5-A573-D315F1CB65DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$B2DD18F5-AAC8-4319-BE6A-DBAC884B3C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7473165a46f692de46f81644a10983097732bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":4106202,"id":"Q4106202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$82A10201-73FB-4B63-A99A-960D6F8CE612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa1337f6b07110a31e0512755583cc4f3dfa66","datavalue":{"value":{"entity-type":"item","numeric-id":3671961,"id":"Q3671961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$66912C51-29E3-4FF1-BF23-02744C198AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f905f41ae2cd26c96557867b7a4637ac218c581","datavalue":{"value":{"entity-type":"item","numeric-id":761448,"id":"Q761448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$59A3D0BB-E7B1-4841-AB21-29734F04611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe447f578e2cb8ec9c17248c32e8835a2af4218","datavalue":{"value":{"entity-type":"item","numeric-id":1212459,"id":"Q1212459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$C3BB170F-77CF-45E3-A4A5-48707BA1CE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3909d29af462bcfbbc0d84187db113b84f716fa0","datavalue":{"value":{"entity-type":"item","numeric-id":3720592,"id":"Q3720592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$953EB7BD-9178-4DD1-9B90-6C8D6E98B33F","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":"Q1099171$35FE4DA3-FD41-43E6-85D8-2320E00ED800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d33fd64b34b01a09c85a8b1395baee8837531a8","datavalue":{"value":{"entity-type":"item","numeric-id":3043137,"id":"Q3043137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$0B434160-0EC2-410E-9C65-14FB8FB134D6","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":"Q1099171$87C1E316-B3AC-4A57-9A74-B3D737DF369A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64961dfda9d7957bb355ebcf50255306e7f6abfe","datavalue":{"value":{"entity-type":"item","numeric-id":5613932,"id":"Q5613932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$9307C98E-EB83-4E2B-8886-E18329D16EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff82db89f51e5bfeab37fdb184662a32038e93","datavalue":{"value":{"entity-type":"item","numeric-id":1155611,"id":"Q1155611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$A40366CD-659F-4EDB-8741-6A005D24BEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d1461a1d4a3e1e68b264df6ee162c20bb46989","datavalue":{"value":{"entity-type":"item","numeric-id":3900051,"id":"Q3900051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$30824DB1-4A3D-45D0-80F7-79B2F5599E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298412fe736d27fc6acb770cf240c8534aaad546","datavalue":{"value":{"entity-type":"item","numeric-id":5631104,"id":"Q5631104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$E1B4C461-A9FB-43A8-ADDC-1689F339A10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e9103865f22fde885594e8f40309ec314c0441","datavalue":{"value":{"entity-type":"item","numeric-id":5545518,"id":"Q5545518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$27F15872-E6E0-4032-8BF2-D32B4B8F4424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f31aa7a5be9baab94169af29148ca674666fed","datavalue":{"value":{"entity-type":"item","numeric-id":1069933,"id":"Q1069933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099171$B9CBD1FC-6FA7-46D5-AC51-53D4B2E3A7BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3116bd21a512253749d5170934603edbb90d577","datavalue":{"value":{"entity-type":"item","numeric-id":2726207,"id":"Q2726207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d77b65f5d75153c5457d5313965931b10e77ad","datavalue":{"value":{"amount":"+0.7989607453346252","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":"Q1099171$6C94BA9E-6625-4F7D-B438-F78CEE9BFFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3eaf607b48b309d4d771e6067575628a2ea6f0e","datavalue":{"value":{"entity-type":"item","numeric-id":3318772,"id":"Q3318772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8e4f47b2cb6cf12ca48cfc003ab21cb16506d5","datavalue":{"value":{"amount":"+0.7942512035369873","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":"Q1099171$4E00B902-0887-44B7-A783-96ABA226B206","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":"b6acba619ad65ff13409ea62cc0c19ad73712544","datavalue":{"value":{"amount":"+0.7710825204849243","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":"Q1099171$4BA2EE01-0396-4AFC-98D2-C13DD869ACA3","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":"b6acba619ad65ff13409ea62cc0c19ad73712544","datavalue":{"value":{"amount":"+0.7710825204849243","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":"Q1099171$CCB72ECA-D300-42D0-B1B1-02F117190539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd3bb17a8236ccbc2390d009ad496bcc99dc9ce","datavalue":{"value":{"entity-type":"item","numeric-id":761448,"id":"Q761448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841c6ae95c4176f055980b5e26918bd51df697ad","datavalue":{"value":{"amount":"+0.7628735303878784","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":"Q1099171$95D5D210-5184-4BD0-975E-032FD6A76D68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some applications of short core models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_applications_of_short_core_models"}}}}}