{"entities":{"Q1103905":{"pageid":1114657,"ns":120,"title":"Item:Q1103905","lastrevid":69650538,"modified":"2026-04-13T08:27:38Z","type":"item","id":"Q1103905","labels":{"en":{"language":"en","value":"PFA and \\(\\omega\\) \\(*_ 1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4054576"}},"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":"Q1103905$710C29AA-9088-48EF-A876-C29451BF06EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5faa6c896e379652a1809a3178451b81917e7ae","datavalue":{"value":{"text":"PFA and \\(\\omega\\) \\(*_ 1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103905$9D165984-FD44-41B3-90C0-3B2858A0C113","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b18f163111c80d24edecac5930d08ba8caad6e3e","datavalue":{"value":"0646.54027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$48BB145E-2EBB-44D5-981F-3AD1830A0895","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1301f70a92e02701f37317407af7d3d8a83d3f64","datavalue":{"value":"10.1016/0166-8641(88)90004-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$68413CC4-3391-4E38-8B37-AEDF8980AD37","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":"Q1103905$E8910CFB-79F1-43DB-96F2-E0B835E37D03","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":"Q1103905$44BE1986-77F4-4EB8-82BF-9BCD7B064B47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1103905$283AAC73-9F4A-4BE4-9D6F-80A7AE89027E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6a5017fd50f625322826d26ac3bf3108ff8f5d1","datavalue":{"value":"This paper is concerned with properties of the compact space \\(\\omega\\) \\(*_ 1=\\beta \\omega_ 1-\\omega_ 1\\) (where \\(\\omega_ 1\\) has the discrete topology). The space \\(\\omega\\) \\(*_ 1\\) is considered as a compactification of its dense subspace of nonuniform ultrafilters: \\(SU(\\omega_ 1)=\\omega\\) \\(*_ 1-U(\\omega_ 1)\\), where \\(U(\\omega_ 1)=\\{p\\in \\omega\\) \\(*_ 1:(\\forall P\\in p)(| P| =\\aleph_ 1)\\}\\). Most of the proofs involve set-theoretic concepts such as \\(\\dag\\), the proper forcing axiom (PFA), the thining out principal, and forcing. Some typical results are that under the assumption of \\(\\dag\\), there exists a set \\(D\\subset SU(\\omega_ 1)\\), such that \\(| D| =\\omega_ 1\\), and \\(U(\\omega_ 1)\\) is contained in the closure of D, while under PFA, there exists \\(p\\in U(\\omega_ 1)\\) such that for every \\(D\\subset SU(\\omega_ 1)\\) with \\(| D| =\\aleph_ 1\\), p is not in the closure of D. Another result states that under PFA, if two subsets of \\(SU(\\omega_ 1)\\), each having cardinality \\(\\omega_ 1\\), can be separated by open subsets of \\(\\omega\\) \\(*_ 1\\), then they can be separated by clopen sets. This result was motivated by an unpublished result of S. Shelah which states: two subsets of \\(\\omega\\) \\(*=\\beta \\omega -\\omega\\), each having cardinality \\(\\aleph_ 1\\), which can be separated by open sets in \\(\\omega\\) * can be separated by clopen sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$DC4E7CD4-AFCF-4232-8086-CF87A045F5E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e88fdf34888612b8b0daa8ca187798d4a51fd08","datavalue":{"value":"54D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$57E54363-F318-4CE8-9597-174E3670C58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42ea46801e492058a4b1ce7a9eeaf6d7cd8d9c3e","datavalue":{"value":"54G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$AA992AEF-1971-438A-B696-7ADC84347806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$9744C48E-7E65-4273-B4EF-269DE114B73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$5C71298C-223E-4589-8E23-727667DEF3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$F337533B-D689-4DCC-A2CD-8A27B1B649E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$09A04277-6903-404C-9A54-25AE1BA41723","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"648b8947feda13fb26787b702b7f305e5dc806a7","datavalue":{"value":"4054576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$7C5D3690-DBA8-4919-8C00-47AED557A1BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e88caad28027e9451a918e9cd62e5d99cd98f69","datavalue":{"value":"club","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$8C927EAF-009A-4AD9-AA19-06682C1E0A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b555ecb3dd803546acb6bf9743f62f83a3a5f4a0","datavalue":{"value":"Stone-\u010cech remainders of discrete spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$BA6119C7-8AC3-403B-AE72-68E90026F191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$B23907C2-D9B1-4BB7-9886-55D330822216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d37ce7aefb9380d8977198be633cbcd4ce03b64","datavalue":{"value":"F- space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$14A49CAE-53B7-4757-9EB7-AA8674A12058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25eb5381a53157c39488a4ac4030255d11bb47d","datavalue":{"value":"strongly zero-dimensional space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$CD304391-2A81-4E98-9D61-F395BE1340D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5650063cade7fbba7d5e0bdf524d20be81a50c55","datavalue":{"value":"compactification of its dense subspace of nonuniform ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$98F0A106-4BE6-49BA-B03C-3526D9E2F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9949f81dd2ae3f5e04be24e561e8cb01307f2d45","datavalue":{"value":"proper forcing axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$7C7CFE98-B006-41D9-A1BB-CF3671585373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2697b43a0c0d9d255dcfc627d84e7ad97a295714","datavalue":{"value":"thining out principal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$140AA6E2-8404-42D1-B24F-E21BFF4CA78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103905$F03ECC5D-CAF4-46AC-85C9-13FFB053F6A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"37306e60633af6b4ea53d6ca2f9cce86fa13ea1c","datavalue":{"value":{"entity-type":"item","numeric-id":639715,"id":"Q639715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$FD6747C1-8CF5-4C61-96BD-0DB14310B745","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":"Q1103905$0FED03AB-69F2-4621-89F1-BB77AF830C87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9420beca4a5d93698927457dd5e1276c4e13278","datavalue":{"value":"https://doi.org/10.1016/0166-8641(88)90004-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103905$5AA98F6D-C537-405B-9BD2-FA409BB3EB66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fec7c4cc927236d49d2d1e4ab6648a5ee9e30a8c","datavalue":{"value":"W2091169462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103905$1B25D128-D15B-4752-9C99-5064E9E19A1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c5438423b38074773b3a57114abe5830c0cb32","datavalue":{"value":{"entity-type":"item","numeric-id":5656772,"id":"Q5656772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$913B10CF-A8DC-423F-B954-9B6E86290FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a02527b6dc590613bfc39bb6aa25a2bdefb56d2","datavalue":{"value":{"entity-type":"item","numeric-id":3220578,"id":"Q3220578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$99AADF53-A5F5-4724-9C97-046D5E531C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a05947a0c2e5b9c7ed73043a54478f13bf1383","datavalue":{"value":{"entity-type":"item","numeric-id":4052073,"id":"Q4052073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$A71D28A9-9C6B-421A-B884-D19BB6D45BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d0aefaeeeb7ed27edff98f8ae0b72602e4605d","datavalue":{"value":{"entity-type":"item","numeric-id":1255946,"id":"Q1255946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$3DD0EDD7-1E7F-42D1-BF8E-E3CBABE998C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0472ffcfd22f839d428d6e0590b0a28315c7f32","datavalue":{"value":{"entity-type":"item","numeric-id":1065415,"id":"Q1065415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$00D7DA9E-D969-450D-BB96-F7BFADE690E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55ea6cc85cedce8c1a70a6db1bd2f6cf7cee19d","datavalue":{"value":{"entity-type":"item","numeric-id":5544052,"id":"Q5544052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$4A7914B6-EA2F-4C0F-8921-117AD4D35F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$A6EBA5CF-115B-46F2-AEDD-CA61BCF500C3","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":"Q1103905$193EEB96-69E0-49B1-8E77-7E8E612ACE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63500d2ba09a694affe75156d6d90b704b492463","datavalue":{"value":{"entity-type":"item","numeric-id":1155610,"id":"Q1155610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$F9CDB3E0-5037-48A8-85C1-A7A8B8AD3AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$976A1F1B-7A17-43A5-BC4C-BFB18E09DF2A","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":"Q1103905$BA762682-961F-4FD1-99EF-F2F4386A6359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0953edc22bdbe702d8f1653486171a16039965","datavalue":{"value":{"entity-type":"item","numeric-id":5651895,"id":"Q5651895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103905$3D6C66E9-AE83-469C-B9F3-125F58300F80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29276d2e6ee1e49ca1cd296ef886e65ee0acdb5c","datavalue":{"value":{"entity-type":"item","numeric-id":2116370,"id":"Q2116370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67f4cbb9792eb65f164b28a2feb6325e736b32d","datavalue":{"value":{"amount":"+0.8255766034126282","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":"Q1103905$D7961BE5-1A67-4F01-9E45-754411F4CA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0928585cf32fa98e06f8f1088018a9f2bd291f","datavalue":{"value":{"entity-type":"item","numeric-id":4344952,"id":"Q4344952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb44f662536b76985a3c73a075975697b5d20c4b","datavalue":{"value":{"amount":"+0.794166624546051","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":"Q1103905$969E8147-2F59-46D0-BF4B-E8089EDA6549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c98436772a063b9528dd6058bfb163fac82bb3","datavalue":{"value":{"entity-type":"item","numeric-id":1110124,"id":"Q1110124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80062f0fef8437faa80e1901499b9ec6fcf88344","datavalue":{"value":{"amount":"+0.7938898801803589","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":"Q1103905$93D1EE09-78C9-4FF3-89AD-A8DCBD32DA76","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":"5b96e5b57c0ba2d0c00a25c0e7193fa8d2684fdd","datavalue":{"value":{"amount":"+0.7893967032432556","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":"Q1103905$D3001A94-390C-4BBB-906B-FAAA13F1D953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a8354a07dad95e8e65e3e44aa1e0a369ae91f7","datavalue":{"value":{"entity-type":"item","numeric-id":4206082,"id":"Q4206082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60262d8a5a4bde33fc151d6158012059a1f76e6","datavalue":{"value":{"amount":"+0.7879428863525391","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":"Q1103905$5AE8887D-C4A6-41CC-B6F0-1539C7152A69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PFA and \\(\\omega\\) \\(* 1\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PFA_and_%5C(%5Comega%5C)_%5C(*_1%5C)"}}}}}