A generalization of Axiom A

DOI10.2969/JMSJ/04210065MaRDI QIDQ910398zbMATH OpenOpenAlexWikidataFDO

Authors Tadatoshi Miyamoto

Publication date 1990

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2969/jmsj/04210065

zbMATH Keywords

Axiom C forcingcountable support iterationcovering propertyfusion sequenceiterated forcing

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Partial orders, general (06A06)

Review text

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.

Recommendations

• More on proper forcing
• Generalized Iteration of Forcing
• scientific article; zbMATH DE number 2120363
• Proper forcing
• Some notes on iterated forcing with \(2^{\aleph _ 0}>\aleph _ 2\)

Cited in

(4)

• On a modification of axioms of general relations
• The diamond covering property axiom
• scientific article; zbMATH DE number 5064944 (Why is no real title available?)
• Large continuum, oracles

This page was built for publication: A generalization of Axiom A

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q910398)