{"entities":{"Q1731332":{"pageid":1742073,"ns":120,"title":"Item:Q1731332","lastrevid":73598007,"modified":"2026-04-14T16:35:54Z","type":"item","id":"Q1731332","labels":{"en":{"language":"en","value":"PFA(S) and countable tightness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7035708"}},"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":"Q1731332$84E8A0A5-5722-4967-89E0-5E245D3E30E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd86f3f14fc57349cf9f49424ff7bafc8ea46efb","datavalue":{"value":{"text":"PFA(S) and countable tightness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1731332$9954F7CA-503D-43EA-9107-2CFEADEF2955","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c171afbdf239e2109b4ab9c2839f764184eafda9","datavalue":{"value":"1411.54005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731332$3CAE2CED-14C2-4200-A5F2-D9BF4AC813ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10f2f3d3c359182432f48c97dfafd04af7c2d1e8","datavalue":{"value":{"entity-type":"item","numeric-id":169647,"id":"Q169647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$461283EC-B86E-4310-A58F-D4737427D908","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":"Q1731332$0956589C-6F98-479F-B562-3030DECA6847","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b783351c35e120ec0bb7c5359bc3eabb3a21294c","datavalue":{"value":{"time":"+2019-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1731332$09C38EFE-EEE2-4E41-B888-32104F94E7FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8eb78d4f9398df6b276e70c79dfe3fd87755ab62","datavalue":{"value":"The paper deals with models of set theory obtained by starting with a particular kind of Souslin tree $S$, assuming a Martin's Axiom-like forcing axiom which applies to partial orders that do not destroy $S$ and then forcing with $S$. More precisely, the set theoretical machinery is given by $\\text{PFA}(S)$ (a forcing axiom which restricts $\\text{PFA}$ to the class of posets that are proper and preserve the Souslinity of a fixed coherent Souslin tree $S$) and $\\text{PFA}(S)[S]$, which refers to forcing over a model of $\\text{PFA}(S)$ with $S$. \\par Models of $\\text{PFA}(S)$ and $\\text{PFA}(S)[S]$ are usually investigated in the context of the status of many of the consequences of $\\text{PFA}$ in these new $\\text{PFA}$-like models. In the paper under review, the author is interested in the following three consequences of $\\text{PFA}$: \\begin{itemize} \\item[(1)] the non-existence of (compact) $S$-spaces (i.e., hereditarily separable but not hereditarily Lindel\u00f6f spaces); \\item[(2)] the Moore-Mr\u00f3wka-Problem: every compact space of countable tightness is sequential; and \\item[(3)] every countably tight perfect pre-image of $\\omega_1$ contains a copy of $\\omega_1$. \\end{itemize} In models of $\\text{PFA}(S)[S]$ it remains an open problem if there are any $S$-spaces, but it was shown by Todor\u010devic that there are no compact $S$-spaces and that (2) holds. \\textit{A. Dow} and \\textit{F. D. Tall} [Topology Appl. 230, 393--416 (2017; Zbl 1380.54004)] have shown that (3) holds in models of $\\text{PFA}(S)[S]$. In the paper under review, the author shows that (2) holds and (3) fails in models of $\\text{PFA}(S)$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1731332$DB22C140-A236-46AF-A3BC-4E8B263E1F12","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a0ae6337f49f5eed9f6ac1790449f5e4919c76d3","datavalue":{"value":{"entity-type":"item","numeric-id":590094,"id":"Q590094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$976CB266-939A-4641-A805-A80A73D62D93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731332$61B00B54-DF28-4C5D-A4C2-E2C604808753","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a26d75ea592ff3bad79332ee41780e3a48db0bc1","datavalue":{"value":"7035708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731332$CDBD1842-63AD-43C2-8159-1B5A8CD55927","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93a951565950a7d81d9582bca3a60fe136135bd7","datavalue":{"value":"forcing with Souslin tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1731332$016E5FFF-BCCA-4CBB-BB98-902C0D0C593E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2cd270fddd900ff90918cdb1f2ada2b91e52a1a","datavalue":{"value":"PFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1731332$38270BBB-9DBC-4996-96E7-3E4C0982B9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29070a938b4c6b780fb5fbd003ffe2a1ee7d545d","datavalue":{"value":"Moore-Mr\u00f3wka","type":"string"},"datatype":"string"},"type":"statement","id":"Q1731332$2831225D-54A9-4A6E-B962-7F0175E2B145","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":"Q1731332$221F3E7D-DF20-42A5-A578-BAF4688DFD6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42bb4fc2b7e7f3fc899e60f01c22c9126d7a316a","datavalue":{"value":"https://doi.org/10.1016/j.topol.2019.01.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1731332$8F15B4BF-5A7D-443C-9106-AA2B71643DE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f1d9a140953e98ecbb661a4dd2e46fee7b0ef15","datavalue":{"value":"W2913482893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731332$E93741FC-C961-475A-B64A-85B30E7D4976","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80352fbe32c05c20ce99d35395f8884393e9d8b","datavalue":{"value":{"entity-type":"item","numeric-id":4206082,"id":"Q4206082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$022386B6-FF49-41F5-9573-921B4FDCA95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbdc1043fc13b992f30957526cbc4e036fc5e51","datavalue":{"value":{"entity-type":"item","numeric-id":5609368,"id":"Q5609368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$7521CFE2-EF13-47EF-9A36-CC633FC3F990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbad8ce1e2d345b5a301ad6b48f1dcb8b95c646","datavalue":{"value":{"entity-type":"item","numeric-id":890072,"id":"Q890072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$8DFE02BF-E24A-472E-A4F6-A79E8F2F2D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e967dad494e78bf06098fbdefd147881fdb29443","datavalue":{"value":{"entity-type":"item","numeric-id":2405088,"id":"Q2405088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$FF8454B7-0516-42E7-B67F-8749F2763398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc1fa2e6c10783449104da4985af8a8921dc1df","datavalue":{"value":{"entity-type":"item","numeric-id":3472092,"id":"Q3472092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$515E858F-88DB-44BB-8221-7D04293B30C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1752fd3429462fe760a40d1824387be88ba2bd26","datavalue":{"value":{"entity-type":"item","numeric-id":1862089,"id":"Q1862089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$02DEB75C-992E-4E5B-92D3-83C9984DD8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2392c96d460558dc1719ccfc7ded4f8bf9bfc1c","datavalue":{"value":{"entity-type":"item","numeric-id":4383372,"id":"Q4383372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$91874E88-FD20-42A6-88CE-960A273F2BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c9bb77b7b45fec1ad532dbba35d33bfb33533c","datavalue":{"value":{"entity-type":"item","numeric-id":4254622,"id":"Q4254622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$94B2876F-E48D-4FB6-812D-E726158EA863","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":"Q1731332$66CB0B62-D8AD-43B8-A1A6-D7DB446915ED","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":"Q1731332$4F135A67-DF92-4578-BB0C-141E8D423FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a2c82f387d667b744c04818e59f3c23625953c1","datavalue":{"value":{"entity-type":"item","numeric-id":2553816,"id":"Q2553816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$0E5E9097-B322-4A09-B91C-3CEC414A365C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ef2b14ee0db1b140a810e2600fec70b956fed","datavalue":{"value":{"entity-type":"item","numeric-id":1302295,"id":"Q1302295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$329F4F5A-F41F-46D9-A468-78CDA964C3F8","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":"Q1731332$22A347DF-72F7-4C8A-AE97-AC0E1F4A43AF","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":"Q1731332$F88B37A7-DC8A-4C7E-AF21-DE7412FCA2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af99d31854a4fa7f4cf68a626aeeca5ae3e453f7","datavalue":{"value":{"entity-type":"item","numeric-id":3313856,"id":"Q3313856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731332$BC0359D6-D6EE-4879-8E70-4B2234898FED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f14554236f93c2132f13487f5e9f37a124c2bea9","datavalue":{"value":"Q128484248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731332$7EBF5EC8-DECA-40C0-A5DA-48DCBB9C7202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcf976f2a9b7edd058d37925f21cb94adbb9cae","datavalue":{"value":"10.1016/J.TOPOL.2019.01.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731332$E1DAC28C-A38A-4DCE-842A-697AEC489AC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a234117aef22f2935de4fd615c8b06aaa6504c","datavalue":{"value":{"entity-type":"item","numeric-id":890080,"id":"Q890080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1f6128c9cb8380f6cae990f986d06acf5d6b0d","datavalue":{"value":{"amount":"+0.8884623050689697","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":"Q1731332$83A39071-C1B3-47D0-BADF-A7DF8FADC0BB","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":"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":"Q1731332$E0870D3D-B5F3-41B4-91CD-E237BF153F7E","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":"daad3506687f772af78788712dfc0927a89f5c50","datavalue":{"value":{"amount":"+0.8625341057777405","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":"Q1731332$396B6791-84D9-4E20-AA0B-18BC09A1A524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86491bb25a58cf013a00d30f36a230cc358588a","datavalue":{"value":{"entity-type":"item","numeric-id":3810506,"id":"Q3810506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa06140b0bab04d96a4e2f2dab69095cd511ceb","datavalue":{"value":{"amount":"+0.8612096309661865","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":"Q1731332$CC0E1230-A44D-4C37-A232-B2C64C904E94","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":"7ce2f93d64b765a55c5c8ae45a36a10d124d0a93","datavalue":{"value":{"amount":"+0.8442853093147278","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":"Q1731332$420BD35E-82E3-4922-9865-90EDBF02A654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PFA(S) and countable tightness","badges":[]}}}}}