Theory, College Publications, 2011, chapters on ZF axioms, ordinals, and models, ISBN 978-1-84890-050-9

Kenneth Kunen, S. (2011). Theory, College Publications, 2011, chapters on ZF axioms, ordinals, and models, ISBN 978-1-84890-050-9.

Type

Book

Intellectual base

Review or monograph

Year

2011

ISBN

9781848900509

Link

https://openlibrary.org/books/OL30618832Mmatched

Cited by

9 citations across 9 artifacts.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Amoeba order
  • Amoeba-order terminology arises from forcing and cardinal characteristics associated with the null ideal; its precise carrier and direction depend on the selected relational-system presentation.
• Aronszajn tree
  • For example, the distinction between constitutive identity and a convenient observable transfers from An ω₁-Aronszajn tree has uncountable height but only countable levels and branches. to A cardinal has the tree property exactly when no κ-Aronszajn tree exists under the standard regular-cardinal convention..
• Axiom of infinity
  • The entry concerns formal foundations and relative consequences; it does not settle philosophical disputes about actual infinity or imply that stronger infinity principles follow from this axiom alone.
• Caliber (mathematics)
  • Product theorems ask whether the verdict survives formation of product spaces under cardinal and cofinality hypotheses.

    This sourceStudies in Logic 34. College Publications. ISBN 978-1-84890-050-9.

• Continuous function (ordinal theory)
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Knaster's condition
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Proper forcing axiom
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Standard model (set theory)
  • The satisfaction relation remains external, so truth in \(M\) need not equal truth in the ambient universe.

    This sourceCollege Publications. ISBN 978-1-84890-050-9.

• Transitive Set
  • A model of set theory is transitive when its underlying set is transitive and its interpreted membership is actual membership, but it must also satisfy whichever axioms define the model.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:6709aac8e662 · see in the full table