{"entities":{"Q636337":{"pageid":638185,"ns":120,"title":"Item:Q636337","lastrevid":63168087,"modified":"2026-04-11T11:03:47Z","type":"item","id":"Q636337","labels":{"en":{"language":"en","value":"Global square sequences in extender models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943634"}},"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":"Q636337$14A9D687-3897-46C3-9A19-0B4D190B8762","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d903d496851ede041244b0c2604e3f15e74afe5a","datavalue":{"value":{"text":"Global square sequences in extender models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636337$DD7F2220-0AE4-4E18-9F15-B5CEE29D9309","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"569976cea6e5550929bae38f51447e475e382b97","datavalue":{"value":"1263.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636337$8AE923A5-B0D1-437E-83BF-54F25F5539FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd6c7aa3d12240ae470854fc557dbec3a83c21b","datavalue":{"value":{"entity-type":"item","numeric-id":219154,"id":"Q219154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$6C51A04D-9D55-4680-9DF7-A84D728A9188","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":"Q636337$4A14907D-F687-413F-9244-38035E1CEA33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636337$3A5E07C5-0C99-4791-B67D-FE6706744652","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43941025696007e6a66b1dad9e5d474c34642464","datavalue":{"value":"Working in a fixed extender model \\(\\mathbf L[E]\\) with \\(\\lambda\\)-indexing, the author proves the following theorem. Let \\(\\mathcal S\\) be the class of all singular cardinals and \\(A\\subseteq\\mathcal S\\) a class. There is a class \\(A'\\subseteq A\\) such that for all inaccessible \\(\\kappa\\), if \\(A\\cap\\kappa\\) is stationary, then \\(A'\\cap\\kappa\\) is stationary, and there is a sequence \\(\\langle C_{\\alpha} : \\alpha\\in\\mathcal S\\rangle\\) satisfying the following conditions: (a) Each \\(C_{\\alpha}\\) is a closed subset of \\(\\alpha\\cap\\mathcal S\\) and if cf(\\(\\alpha)>\\omega\\), then \\(C_{\\alpha}\\) is unbounded in \\(\\alpha\\); (b) \\( C_{\\bar\\alpha}=C_{\\alpha}\\cap\\bar\\alpha\\) whenever \\(\\bar\\alpha\\in C_{\\alpha}\\); (c) otp\\((C_{\\alpha})<\\alpha\\); (d) lim\\((C_{\\alpha})\\cap A'=\\emptyset\\). In non-mathspeak, the author constructs a global square sequence in extender models with \\(\\lambda\\)-indexing.  The author points out that an earlier result of Burke and Jensen (proved independently) shows that the principle \\(\\square_{\\kappa}\\) fails whenever \\(\\kappa\\) is subcompact and that the above theorem means that subcompacts are the only obstacle to the existence of global square sequences in extender models; thus an extender model with \\(\\lambda\\)-indexing and no subcompact cardinals satisfies the principle \\(\\square_{\\kappa}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q636337$E0806D59-C575-4D32-BFDB-460831FCC3DA","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":"Q636337$40A530F3-54E4-4387-9EDC-1528350C45FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636337$79BE9751-4DB6-4DC5-BDC2-390FB98C02B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636337$B917601F-4886-4671-8045-768C8DB0C627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636337$DDD61483-25B7-438D-903A-5D7C535271D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fa96f54fc06637766e9cacfcf254ff8c18a3d39","datavalue":{"value":"5943634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636337$452335F5-1835-466F-8ACE-F51A3741AFA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73a701c65374959b98ff5e274bef954bcf4b7ce","datavalue":{"value":"global square sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q636337$40DF1083-55DC-4044-AFBF-17319837C87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66cabac1d9c0f192ae0509f1bcd62615b02663d7","datavalue":{"value":"fine structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q636337$68A960BF-0F0F-4673-9065-2B3FCEEF46E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415860863f72475df77fdbb8f5acb85301eeda71","datavalue":{"value":"extender model","type":"string"},"datatype":"string"},"type":"statement","id":"Q636337$061486D2-5D15-49A9-8816-4402B5012E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c90ab9c62915025befcde7aaf37d3d16ad7ae040","datavalue":{"value":"subcompact cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q636337$10FCDA68-FCC7-44BC-9C27-E27E9CCB7440","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":"Q636337$E6801DF1-765A-4146-B56C-D9E6CB797A4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"345eac4ee01750f761863c1cdf1ee3f575572ddf","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.12.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q636337$3FA435D9-B961-4028-A39F-F82E49DAF2D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f1a689ace5a8ee8e2a933fb3b21b283097535d0","datavalue":{"value":"W2026465019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636337$24EBF877-6172-4050-A947-730007277A53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c9a0455fa3beb14a61821e21afabdb92cc7dba4","datavalue":{"value":{"entity-type":"item","numeric-id":4874115,"id":"Q4874115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$8304C95F-4A7D-4BF7-AEAE-FAC12E7D8F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd403febd58c5abee923033a79ad03a1f737414b","datavalue":{"value":{"entity-type":"item","numeric-id":732054,"id":"Q732054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$C52BC47C-1C98-445D-8FAE-7C5EDD1810DF","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":"Q636337$9D9D3552-446E-4775-82BB-CB458BEE8FD2","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":"Q636337$4695B762-0DCD-49F6-A9D9-1D437220CE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e99291b4b99a2b9c502b2abb426045d908db94","datavalue":{"value":{"entity-type":"item","numeric-id":1964146,"id":"Q1964146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$C3C12316-AEC0-4D8B-8703-9FFEF4A2958E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850edcde466ff26d340431f3b29d2a1a81685e16","datavalue":{"value":{"entity-type":"item","numeric-id":639679,"id":"Q639679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$9EAE66C4-5F51-452F-8296-B287A05BB3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0943c9d95b98da7ca5fc84b514a8b365160fb9ab","datavalue":{"value":{"entity-type":"item","numeric-id":1935372,"id":"Q1935372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$429144D8-6618-49C9-A716-D7FF6C7F66C6","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":"Q636337$F8972F21-71D6-46E4-99EE-D9E637811024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58566313200c0e5ab5332c47a6a3fcb61efd6f28","datavalue":{"value":{"entity-type":"item","numeric-id":5387315,"id":"Q5387315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$476DDE5E-4A56-49B6-9A55-3207FA9DC968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b83dc764d72a0f693184459d1710d57bb116399","datavalue":{"value":{"entity-type":"item","numeric-id":3503753,"id":"Q3503753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$04A4E24F-A4F9-469C-A122-095F71572043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca4b793ad2073e287d80d162e4b250f63d5653c","datavalue":{"value":{"entity-type":"item","numeric-id":2778659,"id":"Q2778659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$D2035C1B-BC90-478B-9238-58E0D69CAC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda377ddede77c657ceb567fc085ee9e287ea69e","datavalue":{"value":{"entity-type":"item","numeric-id":5692257,"id":"Q5692257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$196E8A27-8731-48F0-B71D-BB03B9DCE6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ca31230c67c3d2f888b5cfd4340c67d61e5719","datavalue":{"value":{"entity-type":"item","numeric-id":5950797,"id":"Q5950797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$1C5AA7F1-2F2E-4F53-BA25-AB946AA72D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad242409392fb74586898778bcb51e768470d0f5","datavalue":{"value":{"entity-type":"item","numeric-id":5692258,"id":"Q5692258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$39FED813-C284-4701-89A8-F527FC390BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054382f225d1d794b03de3d3889020c5bb454618","datavalue":{"value":{"entity-type":"item","numeric-id":1042444,"id":"Q1042444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636337$8DA0BA4B-E072-4E78-B530-CD2A34515BEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a381fd7b35e668a1a78b7900047ce03a0ef5f153","datavalue":{"value":"10.1016/J.APAL.2009.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636337$BE07F33E-164D-4035-8369-CEEAA038756D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e531a102e5ea57af48d0909790da1c428d13f8f7","datavalue":{"value":{"entity-type":"item","numeric-id":1935372,"id":"Q1935372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86670ff132eaa48f5a5a9987d789306e9d580dd1","datavalue":{"value":{"amount":"+0.8782557845115662","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":"Q636337$0B767703-6D26-4AF0-A133-6AF1A988DD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cf8f46fb5f668584989085951c4a65ba449b38","datavalue":{"value":{"entity-type":"item","numeric-id":5692257,"id":"Q5692257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10a9fe10ca960dcf44d46ed546dd0aa73abfebd","datavalue":{"value":{"amount":"+0.8087975382804871","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":"Q636337$C793B4DE-85B5-4CD2-809E-110ABBF302AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e53ea1668879c0be4a2b7a0dd1ce9d4de67ae","datavalue":{"value":{"entity-type":"item","numeric-id":1042444,"id":"Q1042444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07fede58d618bfad0e3669c85b1964910cd6de4b","datavalue":{"value":{"amount":"+0.8013590574264526","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":"Q636337$795DA8F4-6495-4554-81C7-A69BBBCC091D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2baea94545926a25aaeb78f3ae5cb27811b94b3a","datavalue":{"value":{"entity-type":"item","numeric-id":1971795,"id":"Q1971795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52481547a773335d51a5943e41e9056b2b219ca2","datavalue":{"value":{"amount":"+0.758697509765625","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":"Q636337$9378FDE4-2396-4C02-A952-167DA597D87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a101b4c025dfc653cf55c45b028b715c990a88f","datavalue":{"value":{"entity-type":"item","numeric-id":3160559,"id":"Q3160559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a3e9ba24d66ee082f6f32bcbdc259fee540d4b","datavalue":{"value":{"amount":"+0.7571254372596741","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":"Q636337$34CC5AA3-C9A1-46CF-B372-A032CD089208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Global square sequences in extender models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Global_square_sequences_in_extender_models"}}}}}