{"entities":{"Q1179342":{"pageid":1190091,"ns":120,"title":"Item:Q1179342","lastrevid":46217137,"modified":"2025-12-24T08:18:23Z","type":"item","id":"Q1179342","labels":{"en":{"language":"en","value":"\\(\\text{GCH} + \\square_ k\\) implies the existence of two non-isomorphic complete normal \\(\\text{ST}_{k^ +}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 24307"}},"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":"Q1179342$A13AAAF9-FA4B-4C0D-927B-AE83B29BF32B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b791e6b9cce90ef0922315dbd98820263e8ac9ae","datavalue":{"value":{"text":"\\(\\text{GCH} + \\square_ k\\) implies the existence of two non-isomorphic complete normal \\(\\text{ST}_{k^ +}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179342$A386DFE2-EEAE-43F2-A8AA-0B65B23F6BF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33b0cfaeaa93242500e846bb220e3c954425e674","datavalue":{"value":"0736.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179342$7BC018A8-B38A-46FC-86C8-12F771BB51CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba3443b6e0e21556350f1f8f4f317cf34aef66c8","datavalue":{"value":{"entity-type":"item","numeric-id":1179341,"id":"Q1179341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179342$294A1542-94FA-4700-B4FC-C79430666078","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179342$2CBB9216-C2C0-4973-9CBD-C597452AA666","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-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":"Q1179342$4B03BECE-1CCD-4C72-9B00-111EB2F51302","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9684f09d87a65c49c6ed00a340aaf3aac5302999","datavalue":{"value":"Let \\(\\lozenge\\) denote the diamond principle, \\(\\square\\) the box principle, \\(ST_ k\\) a \\(\\text{Suslin}_ k\\)-tree. The report presents a new thorough relation between the above combinatorial principles and the \\(\\text{Suslin}_ k\\)-trees.   \\textit{T. Jech} showed [Set theory (1978; Zbl 0419.03028)] that \\(\\lozenge\\) implies \\(ST_{\\omega_ 1}\\). By this work we know that \\(V=L\\) plus \\(\\lozenge\\) implies a rigid \\(ST_{\\omega_ 1}\\) and a homogeneous \\(ST_{\\omega_ 1}\\). These two \\(ST_{\\omega_ 1}\\) are non-isomorphic. If \\(V\\neq L\\), it is easily verified that \\(\\lozenge\\) implies the existence of two non-isomorphic normal \\(ST_{\\omega_ 1}\\). Here we prove that \\(\\text{GCH}+\\lozenge_{\\omega_ 2}\\) implies the existence of two non- isomorphic complete normal \\(ST_{\\omega_ 2}\\). And we work out a generalization and further prove that \\(\\text{GCH}+\\square_ k\\) implies the existence of two non-isomorphic complete normal \\(ST_{k^ +}\\), where \\(cf(k)>\\aleph\\), \\(k\\) a regular cardinal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179342$C7708DA7-56FC-4417-BBCF-367E37B24F83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179342$B30B1A94-EC42-4F0A-A66A-747D9E712EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179342$1554DD4B-2CE3-4448-BBFD-29F90AD2D9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179342$EC4F9EF4-3EF2-4626-8F32-44C45CD24752","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63b749b20db8262de4af597da37f93952649545b","datavalue":{"value":"24307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179342$187556D5-BBCC-43AA-8719-0E66711F1E0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a62625652f124dc6567a8b08951d08ff2c9182e","datavalue":{"value":"Suslin tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179342$68C3E670-2DB9-40A3-A325-5A1FA6D86D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ce1072ff8aa005d209619f633f1292faff4321","datavalue":{"value":"Boolean-valued model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179342$3BBD6BB2-CA38-42BB-9C60-9D3B04E29748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aea395cfac88785ba6388ee1fe1129625f58023","datavalue":{"value":"iterated forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179342$612C2D75-6D6A-4078-9095-B61A4424D7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25307cf6e5796ca15d371ce3b5882cce0abca99","datavalue":{"value":"diamond principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179342$403CC0F2-07F5-481E-878D-811A0406CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9743271784ff8839f0d99d41af2c0faa9a7d6edb","datavalue":{"value":"box principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179342$CBB8FBCB-BF54-4D2A-9A53-1EACC6D5823A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3bbdd99c4d4fadecef51303f81f60e5ed70baf","datavalue":{"value":"combinatorial principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179342$8B47B57D-023E-4D8C-8C92-2D2D76CD75D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74aad338ad6e367910b952dec4aa3f9944364290","datavalue":{"value":"GCH","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179342$4FCD6AE5-E990-4CC7-A9F6-DEF606C9FF21","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":"Q1179342$2473561D-3BB8-4C2A-B92E-93D611F13EB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64987c3c2435f65dd78429f16bc15294142c82f","datavalue":{"value":{"entity-type":"item","numeric-id":2400519,"id":"Q2400519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b474105062190ea1470a3329621a3f0d2df3c6bd","datavalue":{"value":{"amount":"+0.7826257944107056","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":"Q1179342$7FE71A92-FC0E-4C77-9CCD-E506F7AC2CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37642adf01b23fafbd3dc42b235e6ef5f5d76e87","datavalue":{"value":{"entity-type":"item","numeric-id":5359566,"id":"Q5359566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c36ed944c48c66373b61e0c92205b1a7a8579e","datavalue":{"value":{"amount":"+0.779026210308075","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":"Q1179342$914ACB84-2346-4BA0-BCCE-0F2ED810ECE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4e3d6f246a5bd6ae39c46d51868a18bc56f854","datavalue":{"value":{"entity-type":"item","numeric-id":4016135,"id":"Q4016135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf05a7dcfd485b759dfd7885d8a9bd443efe421","datavalue":{"value":{"amount":"+0.7635573744773865","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":"Q1179342$37BB5AEC-2D7E-4053-9196-6315139803BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17193d84db130cd730f873296e04b77b4e832dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1089334,"id":"Q1089334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60e84d9fea655875c14fd2ba4fd4fa5265633c1","datavalue":{"value":{"amount":"+0.7583989500999451","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":"Q1179342$19A78923-C14B-44E5-846A-83EDB7DB7B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f2d3fd6abc08129115cff1f31a2ee202d32443","datavalue":{"value":{"entity-type":"item","numeric-id":2067636,"id":"Q2067636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a451bc90cbf821fdf723941bf67ee796d04414d","datavalue":{"value":{"amount":"+0.754975438117981","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":"Q1179342$775AC7CA-CAC5-4360-A688-190D73FA6025","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1179342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1179342"}}}}}