{"entities":{"Q890080":{"pageid":891928,"ns":120,"title":"Item:Q890080","lastrevid":65149008,"modified":"2026-04-12T00:38:41Z","type":"item","id":"Q890080","labels":{"en":{"language":"en","value":"Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506288"}},"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":"Q890080$2DA276ED-4F95-4C32-BE3E-064184766EAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ed15137e88052fdd38df5d237a73ae2aaf613c8","datavalue":{"value":{"text":"Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890080$AF9FB8EF-3D17-4372-8EE0-908B5EEB5CAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbe39793d56c588ff63fe38e9984dead600a0db6","datavalue":{"value":"1329.54007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$96A62CA4-4F08-473B-924D-FF875752AAA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde3a5e4f2eed927d071640d2c41d117c782c7f2","datavalue":{"value":{"entity-type":"item","numeric-id":890079,"id":"Q890079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$E78FA5A2-A115-40D7-BE7D-C11C61C49775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee974e9825c5d32c10de26272f25ffd09fa48ae","datavalue":{"value":{"entity-type":"item","numeric-id":330066,"id":"Q330066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$40199813-BF31-4918-8CBD-63FDE4036209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c95457eed31152736b3fcc97aee8818e00189b1","datavalue":{"value":{"entity-type":"item","numeric-id":171182,"id":"Q171182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$B6BAC08A-8D3F-4334-8F1E-25CD8ABAF124","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$68D2BE72-2D14-409B-A6A5-3F8A64802A54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd4ccddbb81defc05e602592f8c5989241cffff","datavalue":{"value":{"time":"+2015-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890080$FE07719B-D136-4B54-9654-BBCE671FB6D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b59528bfdbf2b03f95fa2f4ed91b62f3674dee0","datavalue":{"value":"The paper is devoted mainly to a proof, from \\(\\roman{PFA}(S)[S]\\), of the following (technical) statement, denoted~\\(\\sum\\): Assume \\(X\\)~is compact and countably tight and let \\(Y\\) be a subset of \\(X\\) of size~\\(\\aleph_1\\). Also let two sequences, \\(\\langle V_\\alpha:\\alpha\\in\\omega_1\\rangle\\) and \\(\\langle W_\\alpha:\\alpha\\in\\omega_1\\rangle\\), of open sets be given such that \\(\\overline{W_\\alpha}\\subseteq V_\\alpha\\), \\(V_\\alpha\\cap Y\\) is countable, and \\(Y\\subseteq\\bigcup_\\alpha W_\\alpha\\). Then \\(Y\\)~is \\(\\sigma\\)-closed-discrete in \\(\\bigcup_\\alpha W_\\alpha\\).  The principle \\(\\roman{PFA}(S)\\) is a version of the Proper Forcing Axiom obtained by considering (only) proper partial orders that preserve one fixed Souslin tree \\(S\\) and \\(\\roman{PFA}(S)[S]\\) refers to any model obtained by forcing with \\(S\\) over a model of~\\(\\roman{PFA}(S)\\).  The statement \\(\\sum\\) underlies many proofs of results on the structure of countably tight spaces. The paper also neatly surveys these results and some further background on \\(\\roman{PFA}(S)[S]\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q890080$B7E14282-9F76-4D83-80B5-D1F6F360F67B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"507a2632d23cf7f7b251ac3f142d021e17ebc41b","datavalue":{"value":"54A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$2ABB3E2B-4453-4A5F-ABCF-EF9A78325998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$D19CB9BE-1BC8-46C9-9CC2-9ADA4119451F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42fdadecf6419afb4e4bc033548cf432e9c8c3e6","datavalue":{"value":"03E57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$EC0842CB-9E23-4C4D-9B40-8507971145D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$01E4D703-0259-461A-A170-2E92E171CB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6638429f658636cde013e7c47dae42190f534e9","datavalue":{"value":"54D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$068486B7-64AB-43A7-A352-C84746977192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$471AB1AB-E777-4F93-8272-0211A320CEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf05a2f67e1e78ec83d6b885df38d80740cb9984","datavalue":{"value":"54D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$9DF6CF64-9C3F-438A-95C0-076AF997C519","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6ee8d6138e5727085d17bc52175745de3920733","datavalue":{"value":"6506288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$FFE5AF94-8BE6-4BE3-87A1-69CE6C357DEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b046c6e1ce446dca516acebe75f39ac5e6022762","datavalue":{"value":"countably tight","type":"string"},"datatype":"string"},"type":"statement","id":"Q890080$388F9894-2FBC-4498-B814-D1EFA3963016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f52f5828498563d236d566370c27230003091349","datavalue":{"value":"(locally) compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q890080$396979E4-3C41-41DE-A341-03C643111A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feb298537dfa78e1c6cccdfb463e6d6debf4e1ae","datavalue":{"value":"\\(\\sigma\\)-discrete","type":"string"},"datatype":"string"},"type":"statement","id":"Q890080$7E4DD87A-2FE8-4F42-AA2C-E2777CF91CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092273667b0550dd335eee7e09d79fb17d0186af","datavalue":{"value":"Souslin tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q890080$9A0BD94E-9E64-4DE0-8FAB-959FFCD81881","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$C2E6F53E-14D5-4B16-977C-0A89F7275580","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":"Q890080$C5D96556-B8C9-4012-B135-C6C5281E735A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7df5c32ffaa067060ed397bd6a4948c40e483b1e","datavalue":{"value":"https://doi.org/10.1016/j.topol.2015.09.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q890080$03F69D36-73F4-456A-8745-DB6A49649C36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be95098e8dc107c52215c4a9d94bf546eeb79561","datavalue":{"value":"W1829173604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$ACCED4F3-10E8-4BB4-8F14-1FAE6A57E4BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7289221ba6a9ebffcd12ac7869e528f530ff9b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3311275,"id":"Q3311275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$9589720B-E2C8-4E87-A7C3-FDC555C189A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac103f11e66379cf71a5363546cb8d578637ab4","datavalue":{"value":{"entity-type":"item","numeric-id":1862094,"id":"Q1862094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$F67161C5-0595-4B27-8D2C-CE10A54AD972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7bceaa3f5b55c16ee082de5a7e14bd595b357b4","datavalue":{"value":{"entity-type":"item","numeric-id":3037421,"id":"Q3037421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$E30B26A1-BDA1-48FC-A605-C57941CEB85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$0F836BDD-D44A-4EE5-80C3-647AA7A0578A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3130a94c35d3ceba38bf2e24c6cf38c087017027","datavalue":{"value":{"entity-type":"item","numeric-id":3066720,"id":"Q3066720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$2D24012D-E683-4B0F-B840-6F55E1972F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abc80678f0f0863b4883da9f9e8af2df93c6868","datavalue":{"value":{"entity-type":"item","numeric-id":2925376,"id":"Q2925376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$26CED3C0-AE49-43F1-B819-6FE84ACD788B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b833c7e6eadc0c5bc8ba4a4a1ed50bce1e55e3","datavalue":{"value":{"entity-type":"item","numeric-id":2781383,"id":"Q2781383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$34E0A953-982D-4AF4-87BF-6B733CBB167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ab730276ea94d1a0d80ec0862a31209bb5aaf7","datavalue":{"value":{"entity-type":"item","numeric-id":5673564,"id":"Q5673564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$4CE15517-973B-4BCC-AB3E-AA133AAAEA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acac465b50b4416d584c00c235627930c0f9a8e9","datavalue":{"value":{"entity-type":"item","numeric-id":4314815,"id":"Q4314815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$68F9C558-35DD-4755-A17F-2562215C2480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fd72a0bfa892cb77371dc5523a222dd30eae74","datavalue":{"value":{"entity-type":"item","numeric-id":3914038,"id":"Q3914038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$29608F36-DFE0-4C29-A634-E4F89B1CEA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b699457626eb9d0f1f56994b3f6dcc6b2081406","datavalue":{"value":{"entity-type":"item","numeric-id":3165379,"id":"Q3165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$E0292945-790D-4397-884C-8EF3D9D21585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b0136c56cc785e5444cdbff839cfd0755dad2b","datavalue":{"value":{"entity-type":"item","numeric-id":388823,"id":"Q388823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$90CAC285-5C53-4B69-88A3-B662D0C5E82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39c46819ba4b3d2e6f3db50135d75d3b30365ef","datavalue":{"value":{"entity-type":"item","numeric-id":1962083,"id":"Q1962083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$9DCBCDB8-0007-4F55-85BD-27A18E01346C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27c3186634e9e7e7fba0364ce5741731506c59","datavalue":{"value":{"entity-type":"item","numeric-id":890080,"id":"Q890080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$B31F6F61-383B-40B4-8CEE-3E600CF81C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c000009930df9c8318a8d9f5bca7755b9a8b21","datavalue":{"value":{"entity-type":"item","numeric-id":4040819,"id":"Q4040819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$05509627-EA29-47F4-84FD-2A4D72D0CFFF","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":"Q890080$88973A15-5CE7-4EC9-974D-C7C8282578AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565b57c444959343cfa0a44404a84fb178106bf5","datavalue":{"value":{"entity-type":"item","numeric-id":3968129,"id":"Q3968129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890080$C6F1ABAE-D2EF-401E-BD1E-A5039F401F76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8571e5d95a476c18058d31695a5d4f649e1f39d2","datavalue":{"value":"10.1016/J.TOPOL.2015.09.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890080$BA7A6FED-EA16-4979-8D8D-8B9E4797630F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c71194ea90e56af6d104cbe82ede7087cbb4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1731332,"id":"Q1731332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03732d88e6248670a40dc0200109a55bbcd69bc4","datavalue":{"value":{"amount":"+0.8712819218635559","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":"Q890080$62E7F77B-7D1D-4448-8494-99B33AF40B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b940a64de82b9f9103da0da1b8bc2d79205e6f71","datavalue":{"value":{"entity-type":"item","numeric-id":5258478,"id":"Q5258478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6de4f3e794db97d4b6bded4806f79fcc746fdc2","datavalue":{"value":{"amount":"+0.8452902436256409","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":"Q890080$B9BFF101-C643-4B9E-AC05-77168781783B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb23e41b8ae549467c2eefa85fe258455dd78782","datavalue":{"value":{"entity-type":"item","numeric-id":2405088,"id":"Q2405088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db4d7c8496492353290a6abbdc2d62f7eb58bdc","datavalue":{"value":{"amount":"+0.8252335786819458","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":"Q890080$4DBA337A-F7D0-47B6-B498-B9DE2646BA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a21550d7b5ba759c9b3cc0c71cbd34116feab98","datavalue":{"value":{"entity-type":"item","numeric-id":388823,"id":"Q388823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e942998507ef850fe5b774587345178acf5bdc1","datavalue":{"value":{"amount":"+0.8100069761276245","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":"Q890080$F72C504A-A4B1-415A-822E-40CAC45A4FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3709d9507b6eed38e76a5f3c9c59c99f03f3b08f","datavalue":{"value":{"entity-type":"item","numeric-id":4907411,"id":"Q4907411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0f7004a96d6931017dc0f939644dc91e55bd86","datavalue":{"value":{"amount":"+0.8059369325637817","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":"Q890080$7276A668-BA9E-44BE-B5B4-31FE39C92E1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forcing_with_a_coherent_Souslin_tree_and_locally_countable_subspaces_of_countably_tight_compact_spaces"}}}}}