{"entities":{"Q1803755":{"pageid":1814497,"ns":120,"title":"Item:Q1803755","lastrevid":47178034,"modified":"2025-12-31T22:28:04Z","type":"item","id":"Q1803755","labels":{"en":{"language":"en","value":"OCA and automorphisms of \\({\\mathfrak P}(\\omega)/\\text{fin}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 221870"}},"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":"Q1803755$CB175054-CFB5-44AB-B690-F8B234443BE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0ceac524cf8c960a19b39722d4a997dea61bdf6","datavalue":{"value":{"text":"OCA and automorphisms of \\({\\mathfrak P}(\\omega)/\\text{fin}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803755$B50E1A3E-4566-483E-8D93-88BE7A90A79F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38039d61402b2e6fd7c95420faa8fd7fc48c1f38","datavalue":{"value":"0785.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803755$D78841B3-97F7-408F-86C3-74B534F9406A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9657b1d246379abbbf2f35ac598983eb0bdf0dc","datavalue":{"value":"10.1016/0166-8641(93)90127-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803755$6D453876-1F80-46C9-B7A8-9419A632B3F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4433522dc629aa9929a8383fa13dcd08837b2a27","datavalue":{"value":{"entity-type":"item","numeric-id":194964,"id":"Q194964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803755$81C9B7EE-DB2F-4C8A-AA0D-187381C49364","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":"Q1803755$8BCFCA2E-168C-444C-89B5-7DDDBDC5C361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803755$1E9531AA-FDDE-4021-A26D-1240363984C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9f92d8337c6404a08d6364859ceedb632d97284","datavalue":{"value":"An automorphism \\(\\varphi\\) of \\({\\mathcal P}(\\kappa)/\\text{fin}\\) is said to be trivial iff there is some permutation \\(e\\) of \\(\\kappa\\) so that \\(\\varphi[a]=^* e''(a)\\) for all \\(a\\subset\\kappa\\). For the purpose of this review, let us define \\(\\text{AAT}(\\kappa)\\) to be the statement ``all automorphisms of \\({\\mathcal P}(\\kappa)/\\text{fin}\\) are trivial''. Shelah showed via oracle-cc forcing that \\(\\text{AAT}(\\omega)\\) is consistent; Shelah and Stepr\u0101ns showed that \\(\\text{AAT}(\\omega)\\) follows from PFA.   This paper shows: 1. \\(\\text{MA}_{\\omega_ 1}+ \\text{OCA}\\) (= open coloring axiom) implies both \\(\\text{AAT}(\\omega)\\) and \\(\\text{AAT}(\\omega_ 1)\\); the amount of OCA used does not require large cardinals for consistency. 2. PFA implies \\(\\text{AAT}(\\kappa)\\) for all infinite \\(\\kappa\\). The author also gives, in ZFC, a sufficient criterion for triviality of automorphisms of \\({\\mathcal P}(\\omega)/ \\text{fin}\\) which is weaker than previously known criteria.   Aronszajn trees, specializing functions, and collapsing maps play key roles in moving from \\(\\text{AAT}(\\omega)\\) to \\(\\text{AAT}(\\kappa)\\), \\(\\kappa>\\omega\\). The proof of \\(\\text{AAT}(\\omega)\\) uses almost disjoint families -- under \\(\\text{MA}_{\\omega_ 1}+ \\text{OCA}\\), if \\(\\varphi\\) is nontrivial on \\({\\mathcal P}(\\omega)/ \\text{fin}\\) then there is a particularly nice uncountable almost disjoint family of \\({\\mathcal A}\\) so that \\(\\varphi\\) is nontrivial on \\({\\mathcal P}(a)/ \\text{fin}\\) for each \\(a\\in{\\mathcal A}\\), which contradicts an OCA result proved earlier in the paper.   This clear and elegant paper has a typographical error which may cause the reader some difficulty: in the claim appearing in the proof of 4.2, ``\\(I\\)'' should be ``\\(\\kappa\\)''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803755$46DF5587-0991-44D9-A9FC-A567F3894997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803755$AEAAFF4C-F1AD-4AE3-A382-FC739C9F27A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803755$42AB8092-77BE-43C0-9D8B-D2D9776C0A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803755$2CECC8B2-D94F-4579-9F05-18E088F167BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803755$D3531EAB-3CBD-47D0-88F8-6B71B36DDC9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ae4c199903885c95c454d6798a3c1d1a10f8313","datavalue":{"value":"221870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803755$FF9010E4-344C-49A0-A530-FB17DF9CC85C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9949f81dd2ae3f5e04be24e561e8cb01307f2d45","datavalue":{"value":"proper forcing axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803755$E4E3629C-FF21-4107-803C-FC11D0C61887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803755$B8F7D2FF-D74F-4F44-8E3C-06CC4DBAF6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108d163ac1f066b916764808b015d7299d08ed6b","datavalue":{"value":"open coloring axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803755$C97EC486-FA4C-4FCA-A27B-A55C9CFD5516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ca791b69d6db9d258b920c45be037c3d16e4044","datavalue":{"value":"triviality of automorphisms of \\({\\mathcal P}(\\omega)/ \\text{fin}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803755$A10D85A1-265A-4F74-A559-E0419A520FE8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1b883d357593be4500a752315c01f382d8c2baf4","datavalue":{"value":{"entity-type":"item","numeric-id":587961,"id":"Q587961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803755$1BBBC522-6CA3-46DF-98C0-10FAEDDDFF76","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":"Q1803755$5796E5D9-3235-4323-9A70-47AA1C69FEBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39a2088aca7adf623cb0babb876b35e350bbe1","datavalue":{"value":{"entity-type":"item","numeric-id":1071014,"id":"Q1071014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803755$A3CCD13B-8729-43EC-8B58-FD97084431B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d9b5a91f3bda91499965aaf522be518eaa1232","datavalue":{"value":{"entity-type":"item","numeric-id":4694306,"id":"Q4694306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803755$AB93EF27-64E0-4A11-B261-47802635FCAD","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":"Q1803755$C27DAD83-FA40-4265-9D94-50488E7C3981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0c3549d5b8155ce7e1ff13ae07abb3b6da851","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803755$B6035831-71E8-466B-B5CF-DE7A4D953328","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":"Q1803755$27A269F3-0B3C-4622-AB23-EB4E69B1AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbba357ed0d80ad46c9fefc876e334e273c8121c","datavalue":{"value":{"entity-type":"item","numeric-id":3032245,"id":"Q3032245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803755$7AC887E8-9C9B-4935-9FA0-895E2506A161","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":"Q1803755$797D04ED-C239-47D2-BFF1-50DD31A40412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1699e185027d0280159349b2dcec1db607b51484","datavalue":{"value":{"entity-type":"item","numeric-id":3218775,"id":"Q3218775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803755$52B5EF6D-EE42-4EF0-B886-7007A50BD386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00d8f9050ff45105805fdc26907a0fa5a17039","datavalue":{"value":{"entity-type":"item","numeric-id":4722065,"id":"Q4722065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803755$E5D373F4-C07F-40D3-AFDF-C6E12A8E0109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a61df0da86a4972c4e74bef93d344c7a72302b","datavalue":{"value":{"entity-type":"item","numeric-id":4694291,"id":"Q4694291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803755$1C88F3DC-FF94-4439-A0C9-7DDD89BB83B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1ed9c4f9edcb2948401879eba4ddb62db6f46be","datavalue":{"value":"https://doi.org/10.1016/0166-8641(93)90127-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1803755$715294AA-E1D8-4AE6-95C7-0ECE220CD342","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d64110acb474d2fc19bc11498e1957edeb28ff8","datavalue":{"value":"W80350220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803755$A7B018A2-BF56-4EBE-92D7-8A24A1BF840B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2fbc387a628529ca08bd888d5b971c9ce29ac2d","datavalue":{"value":{"entity-type":"item","numeric-id":3187236,"id":"Q3187236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171ced94f9b6576eaef720257916e23ed6e39417","datavalue":{"value":{"amount":"+0.809722363948822","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":"Q1803755$A570EFA1-3C5A-4706-A453-FE9A20AFE8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa76f1e2d8bae873d94917c9e26966900915f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":2804298,"id":"Q2804298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2edb0025848b44e9cc8bed3f230233b0ea26978c","datavalue":{"value":{"amount":"+0.8060756921768188","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":"Q1803755$3B9A886A-87F2-424B-B53A-97E69D566F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0120ecc85cbdedb7d28f8ce8d61327ef8b2f58","datavalue":{"value":{"entity-type":"item","numeric-id":2782641,"id":"Q2782641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df72cf7c29055f1138862205033c64d7bc87d792","datavalue":{"value":{"amount":"+0.797523558139801","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":"Q1803755$0BDEA9CA-08CD-4B48-BE56-8515E74B68ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66dfff4ed6ffc6de1757283f639e5f0f3addf609","datavalue":{"value":{"entity-type":"item","numeric-id":1632738,"id":"Q1632738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f12541b592bd471e47aa658b9c917b1a6558fce","datavalue":{"value":{"amount":"+0.7905025482177734","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":"Q1803755$05F38F64-69A5-4017-B480-015B20E251AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ae67f53c19d53f210b54af3d69457934862f10","datavalue":{"value":{"entity-type":"item","numeric-id":909686,"id":"Q909686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1103c34d9bb5813b831c7aae4dff88a4af04bde","datavalue":{"value":{"amount":"+0.7888043522834778","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":"Q1803755$12250595-A2BC-4D09-8093-4ACBDC385616","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1803755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1803755"}}}}}