{"entities":{"Q5222520":{"pageid":7252090,"ns":120,"title":"Item:Q5222520","lastrevid":58485339,"modified":"2026-04-05T10:27:49Z","type":"item","id":"Q5222520","labels":{"en":{"language":"en","value":"A tail cone version of the Halpern-L\u00e4uchli theorem at a large cardinal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7186294"}},"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":"Q5222520$64AC87D1-0C8E-4822-A8EE-4DAE9FF1926E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a852e18d8050b30e006877a53b2cefaffd953e4","datavalue":{"value":{"text":"A TAIL CONE VERSION OF THE HALPERN\u2013L\u00c4UCHLI THEOREM AT A LARGE CARDINAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222520$713A660D-D3B8-4710-95BC-62BCA3528251","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d726cc241ac05af0d53500827e1de63c9d9a770","datavalue":{"value":"1468.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222520$B0C3EEF8-B764-4B54-8A22-E46F6763F2A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c2faf41b653b4ce7370b7b1c98429113ab85c81","datavalue":{"value":{"entity-type":"item","numeric-id":332911,"id":"Q332911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$537B7DD9-ADB6-42ED-8A70-01DD816B0E8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f453ac7acd4a2f23133adfec3cca035076417f0","datavalue":{"value":{"time":"+2020-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222520$D1E0D552-473B-4E74-AB85-6BAA3225AB56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a9b5dadec22cc235acacc5c42f1086cba6fe122","datavalue":{"value":"https://arxiv.org/abs/1704.06827","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222520$4C9615EF-3DE6-43CE-A3EF-E269702944A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222520$613E93C7-861C-4843-8C8A-A2707DCC27EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222520$97A102F1-6B65-494B-87AF-D4514AC5C718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222520$F9DAC46A-1F4B-4D7E-8811-A0B225A79D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222520$0CD6A2D1-217D-498D-A334-EEC798A4B13A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bba0b8c40a9a3e6955e0d0c0ef50abf2e4a19de","datavalue":{"value":"7186294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222520$F822EFF5-64CD-4EE5-98F2-0A0323B92939","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89bb227c2016a6069024fcc3b98836bfd1ecb8a7","datavalue":{"value":"Halpern-L\u00e4uchli theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222520$A9EF323A-5713-4792-A524-1E1BCB2E328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222520$3D0CCC54-99C0-47AF-83DA-1319CA204433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222520$2040D58E-8EB4-466E-AED0-74C29951A9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222520$D92D07CF-23FB-42F1-AAD8-8EA7F8B480E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222520$3C55D900-84B7-464E-ACC6-5E312398836A","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":"Q5222520$171C3E17-EC11-4FD9-86AC-43343EC01B10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42cb77b01a888fb0caa2ea76ab4aeb55595c9d36","datavalue":{"value":"W2609756090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222520$4C244EC1-F818-4B6A-97F1-92285E17E936","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c59276e24fbb4fdd06e315edc8af492cce31077","datavalue":{"value":{"entity-type":"item","numeric-id":3053899,"id":"Q3053899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$65482DDF-E72A-4E72-BD48-074A3EA69264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39f12f63048408cc8311414fd56b9f01c916832","datavalue":{"value":{"entity-type":"item","numeric-id":4600470,"id":"Q4600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$B3E281AB-E133-49F6-B64E-5CA07187D1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba26c272537437589cbd037bb955661f4e52894","datavalue":{"value":{"entity-type":"item","numeric-id":836116,"id":"Q836116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$B2969364-4648-4901-AB62-21D83F7022E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6ccb1baff120c9f2a8b8cd71545ecec7b5e478","datavalue":{"value":{"entity-type":"item","numeric-id":3053900,"id":"Q3053900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$DF58CD5E-717F-49CA-B001-ADE08FDD689E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c41004c8f4f86558342b6cccde6f87f16a9e0a8","datavalue":{"value":{"entity-type":"item","numeric-id":1271912,"id":"Q1271912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$2DE98B01-397D-44B3-BC4C-2B4A2CA833C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7597068ac110925e9a522a2ccf924621f26f7471","datavalue":{"value":{"entity-type":"item","numeric-id":5541372,"id":"Q5541372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$EA459162-5348-42C1-B981-A7CD25868684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c426499d2a38cae32a9ae7ccb6188e1f2795390f","datavalue":{"value":{"entity-type":"item","numeric-id":5641139,"id":"Q5641139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$AAE7385E-CB74-44DA-B117-C097299F8456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05904478a1925654ac4b1a3dd6b1f2d6820f9e3","datavalue":{"value":{"entity-type":"item","numeric-id":4177558,"id":"Q4177558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$CC94A30D-DB60-419A-B6BD-316D806C8754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af40e46b52ca02f5aca3ebb32af347e1a4978847","datavalue":{"value":{"entity-type":"item","numeric-id":3708794,"id":"Q3708794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$271C6A1A-015E-4F66-8235-72F67E91D17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7456392ba6402a2398a43c3568dad7f52da20183","datavalue":{"value":{"entity-type":"item","numeric-id":4147976,"id":"Q4147976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$A139DAAB-8B1F-429A-A9FE-3A0548B7E064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e351007dc7c31bc07cb4d7796b4865674769b5a1","datavalue":{"value":{"entity-type":"item","numeric-id":3137214,"id":"Q3137214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$A14DA3B3-1173-412D-BA66-64BA9AEF97D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ecc7e713d423a7001dc7a5846ac41428a69a58","datavalue":{"value":{"entity-type":"item","numeric-id":2372415,"id":"Q2372415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$9E8CE2C2-4AC9-4F05-9E4A-C526C8E480A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc287ec8a6e146c3e57a73c560da2d9b4de9d84","datavalue":{"value":{"entity-type":"item","numeric-id":3579526,"id":"Q3579526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$41E63DD2-873A-4E88-A6B9-1C195399F1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8725f772e4ec8f9931c815c67e53ae5f0a73231b","datavalue":{"value":{"entity-type":"item","numeric-id":5475906,"id":"Q5475906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$EF3FE93A-2089-4900-9F45-521F748713C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4369db01574a2862de6f0f5c1e30a955de6166d","datavalue":{"value":"10.1017/JSL.2017.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222520$98850794-3828-4ECE-B4A0-87D44E13B9CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222520$7F026884-0119-414B-8F72-D960115EB12B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2083e65fefaff0e6db4bb75aa3bef39c085305ee","datavalue":{"value":{"entity-type":"item","numeric-id":4600470,"id":"Q4600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1246e01b9ae234f604311c4c253147709fd6823f","datavalue":{"value":{"amount":"+0.839958667755127","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":"Q5222520$7D0665EA-ED1C-4B59-9B79-0F166A67A546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e0534d185719c7adfb2b1e7703ec21ddcef35d","datavalue":{"value":{"entity-type":"item","numeric-id":5107220,"id":"Q5107220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67c723c4b0bba8784374fa6cf69334b3695818d","datavalue":{"value":{"amount":"+0.7918152809143066","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":"Q5222520$A231E899-96AA-43AB-BA69-E1A625D91F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6738e46b60f36ad3577d1a3494cf48ddc76c3f03","datavalue":{"value":{"entity-type":"item","numeric-id":1348762,"id":"Q1348762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2c47fe31b7d3199e7ae439435b1aa871c41156","datavalue":{"value":{"amount":"+0.785945475101471","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":"Q5222520$95C8F906-2138-4ACF-9819-DA7B54F28812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b0b267df42dbe2d4971f291c3f8112299f8f1","datavalue":{"value":{"entity-type":"item","numeric-id":2437433,"id":"Q2437433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c3aa76b6128b6dd193aba3aa1d208bdcae9935","datavalue":{"value":{"amount":"+0.7820615768432617","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":"Q5222520$950DCC6B-1618-4ADA-B9E5-B3B4FF28E22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdde0526061e857f3a7d0c868da1acb2181118b4","datavalue":{"value":{"entity-type":"item","numeric-id":484527,"id":"Q484527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0eaaf4b75f42400f60341c70226dfdf5a25a86","datavalue":{"value":{"amount":"+0.7286199331283569","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":"Q5222520$926A0C92-150D-47A4-A0B3-2D79C9B95057","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222520"}}}}}