{"entities":{"Q3032245":{"pageid":3042961,"ns":120,"title":"Item:Q3032245","lastrevid":45306871,"modified":"2025-12-04T15:07:13Z","type":"item","id":"Q3032245","labels":{"en":{"language":"en","value":"PFA Implies all Automorphisms are Trivial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130369"}},"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":"Q3032245$B00FF083-360F-41EE-96D6-28C89762077C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aad68954233d4234898152ec7efb316cbbff4b1","datavalue":{"value":"0691.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032245$CE2664BD-4540-4A44-BC91-F94E6D0FF26E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eca2114960bcda75934aa748aae499acf775d38","datavalue":{"value":"10.2307/2047617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032245$A8D48DB8-9D33-4558-9DB9-D9AAD71F8BD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032245$9B920416-C1BC-4DB3-95BE-CD7488DE6E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df9c176eff7a76a026d81f287eb3cec705cfbf1","datavalue":{"value":{"entity-type":"item","numeric-id":438819,"id":"Q438819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032245$4524730D-EC0C-4039-99EB-854AE2D5B4B8","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":"Q3032245$EA6A8E04-2C4C-459A-8C0D-E15ACD803DF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032245$0193A1C6-2728-4ECC-B0A1-3F752B6FB382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032245$24D48C7A-71D5-4DA4-ACFD-487EA718DC87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfa84a19ff69f7494151e9d7e6f47cc657f8726d","datavalue":{"value":"4130369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032245$4D9CCDBA-1D61-469E-BC1D-687B1E4AED2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9949f81dd2ae3f5e04be24e561e8cb01307f2d45","datavalue":{"value":"proper forcing axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032245$A5114660-0CA6-458B-A770-C22E14C4BB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dbf2aae7f45e27daa1eff1a3615e19a9bea492d","datavalue":{"value":"countable chain condition poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032245$5A2DC7E3-170B-4858-BDDB-C53BCB97724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2cd270fddd900ff90918cdb1f2ada2b91e52a1a","datavalue":{"value":"PFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032245$1C333B84-BED3-4666-8842-5A20D03975F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d104a75439c3421b2f663612f3e5321c033e0f","datavalue":{"value":"automorphisms of the Boolean algebra \\({\\mathcal P}(\\omega)\\)/Finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032245$80615E78-94AD-4C88-AB02-EE6E9FC22D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef089d19fbbb9f020db65a770755bad79c83a078","datavalue":{"value":"almost-permutations of \\(\\omega\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032245$ABA9B6AC-348C-4F8B-8CF6-19A19519BC6E","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":"Q3032245$5BD3A1F4-5B69-4617-8D55-63BCB2CDA615","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d13e8ea720abe52b3e29da849c7db3f22a485169","datavalue":{"value":"https://doi.org/10.2307/2047617","type":"string"},"datatype":"url"},"type":"statement","id":"Q3032245$18981A83-FE15-486A-986E-A614441F0FAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9f9de2ed6bca43e87db5875803c2a614f337db0","datavalue":{"value":"W4233788524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032245$0E7B42EF-8D15-4E8C-8CC3-10173623E35C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d696fd7902341b0bb61160ff919b9eea9db558a7","datavalue":{"value":{"text":"PFA Implies all Automorphisms are Trivial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3032245$E85554AE-A6BB-43BB-85E0-1BDB6082BBFF","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":"Q3032245$B941A234-0283-4F55-AF83-5897F355FDC9","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":"Q3032245$9E629F1A-76C1-472E-AAE4-87C15F6D570D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3032245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3032245"}}}}}