{"entities":{"Q910398":{"pageid":912246,"ns":120,"title":"Item:Q910398","lastrevid":65283024,"modified":"2026-04-12T01:31:55Z","type":"item","id":"Q910398","labels":{"en":{"language":"en","value":"A generalization of Axiom A"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139722"}},"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":"Q910398$18515A7F-59EC-4CB4-8FBC-7E759DE53448","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d6ace25ad77e37e19da6eb71c5a3a4b25a516db","datavalue":{"value":{"text":"A generalization of Axiom A","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910398$9D0F30B9-64AE-4626-AE93-99AF23F8BE3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee1a5a69af64bd8d25b274a929c0bd336c73d493","datavalue":{"value":"0696.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910398$1A9F25CB-F8BC-4351-ADFC-91E7D2139F48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5a01cb6ee16820cb5581b74228ebe461f540d61","datavalue":{"value":{"entity-type":"item","numeric-id":910397,"id":"Q910397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910398$3B948615-2326-41F8-AAFD-32A8EEFA3F98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910398$BF10F3DC-8910-4607-BA2C-057C11D584E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q910398$20B9E05F-C7EB-4E2C-8E6B-D6B302A0F356","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f1d6ad9133321ddf243c9b9d91292bc7584fa34","datavalue":{"value":"In ``Iterated forcing'' [Surveys in set theory, Lond. Math. Soc. Lect. Note Ser. 87, 1-59 (1983; Zbl 0524.03040)], \\textit{J. E. Baumgartner} introduced Axiom A forcing. Iterated Axiom A forcing with countable support has the following important covering property: If \\(X^ 0\\) is a countable set of ordinals in the generic extension, then there is a countable set X in the ground model with \\(X^ 0\\subseteq X\\). It is not known if the iteration itself satisfies Axiom A. Here the author presents a generalization of Axiom A forcing, the Axiom C forcing, which has the above covering property and is preserved under countable support iteration.","type":"string"},"datatype":"string"},"type":"statement","id":"Q910398$6D66E502-E042-4202-8444-653C1AB54E27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910398$1BA5E6D1-F40D-4D38-BDC5-57FB1356CA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910398$661EBE4D-5E35-4682-989A-887423D3224B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2713eb5f9f67eeb42584509cd8a082c26226c868","datavalue":{"value":"4139722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910398$6BD825DD-EA5A-484C-BB5B-B4B313F0F434","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9ad309dab0287eb4afd190d0639631ef167686","datavalue":{"value":"fusion sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q910398$67E8D2D0-3233-4A81-84DB-521AC1B40413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aea395cfac88785ba6388ee1fe1129625f58023","datavalue":{"value":"iterated forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q910398$22FCC0BE-9BDA-41E4-98CA-77FFF8BC0477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538803dfa9244ccb4481282b357ecf6aed323729","datavalue":{"value":"covering property","type":"string"},"datatype":"string"},"type":"statement","id":"Q910398$6AFC0506-8607-4BC5-A187-3AE75DF27E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"706a5d8683ee23c4865de26ee38af776fe7b4914","datavalue":{"value":"Axiom C forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q910398$E69612B4-F65F-46E0-954D-BE6C485259EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b576215ae73cb7fb4b39f269bd457264f40f6f05","datavalue":{"value":"countable support iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q910398$A5E665DD-099F-41BB-B04B-6365102D7B61","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a0e5733a777a42d2fa93e94d7db369ff374854a6","datavalue":{"value":"Q114585000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910398$1FC97221-BDE6-47B0-8616-96240BCEEE73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910398$6AA69BF4-BA01-4FFC-B1FA-32CCC6C719E1","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":"Q910398$A71BA0AA-5FC3-46D1-AF62-D5993DC8BBAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"488578f4a712a4d9ae268916056e8230b657de43","datavalue":{"value":"https://doi.org/10.2969/jmsj/04210065","type":"string"},"datatype":"url"},"type":"statement","id":"Q910398$68DC90FC-4360-48B3-9636-7319787354C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9139736766d087d57755122e3d6596817daaaf9","datavalue":{"value":"W2048256688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910398$D304176E-E627-4C83-B2CB-A50F2C343656","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9e7cd5b720f2920679b33c55e715a05f92660c6","datavalue":{"value":"10.2969/JMSJ/04210065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910398$F2834DF7-8C79-40FB-9B8F-61F5F878C062","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6050ac3332db314eb4a9dd3df156072ed4534bc","datavalue":{"value":{"entity-type":"item","numeric-id":3698793,"id":"Q3698793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9524019d923a40afa0c87c61946aa0d5026a1f","datavalue":{"value":{"amount":"+0.7899354100227356","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":"Q910398$C014C055-211B-43A4-B33E-97D7B0F5E6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb89daa230728362ebed380b380f3e3bf9876a9f","datavalue":{"value":{"entity-type":"item","numeric-id":5752563,"id":"Q5752563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb330057d095d77842038345c45675fb6e74e372","datavalue":{"value":{"amount":"+0.7853429317474365","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":"Q910398$8B445AD8-A85E-4CC2-8553-C11B2BF8B5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fcc782b7b69b55a534ae49a04f368ee2c7feeb","datavalue":{"value":{"entity-type":"item","numeric-id":4829656,"id":"Q4829656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f8f98c2de254fcab26451a9ca0bfda11c3ee8a","datavalue":{"value":{"amount":"+0.759315013885498","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":"Q910398$80C19928-2E10-4CDF-960F-F0F9FF2F09CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11649bb4b7dbbab96bdde639bb14d653706dd474","datavalue":{"value":{"entity-type":"item","numeric-id":3053892,"id":"Q3053892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c0b8b9842e4b10c7307c667de548a89153ccb2","datavalue":{"value":{"amount":"+0.7506022453308105","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":"Q910398$E66924A2-6C74-468F-9B51-12119C199CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb7fadec84ebd63e7da9beb1abd39cfc8399b5b","datavalue":{"value":{"entity-type":"item","numeric-id":1105591,"id":"Q1105591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0942c79041a8f3a848c77243380e2585cb6e4071","datavalue":{"value":{"amount":"+0.7495244741439819","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":"Q910398$6C81E873-F4B9-4AD3-B99A-39FB3F20E36E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of Axiom A","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalization_of_Axiom_A"}}}}}