HomePublications

Iterating Symmetric Extensions

Research output: Contribution to journalArticle

Open Access permissions

Open

Documents

DOI

Authors

Organisational units

Abstract

The notion of a symmetric extension extends the usual notion of forcing by identifying a particular class of names which forms an intermediate model of  between the ground model and the generic extension, and often the axiom of choice fails in these models. Symmetric extensions are generally used to prove choiceless consistency results. We develop a framework for iterating symmetric extensions in order to construct new models of  . We show how to obtain some well-known and lesser-known results using this framework. Specifically, we discuss Kinna–Wagner principles and obtain some results related to their failure.

Details

Original languageEnglish
Pages (from-to)123–159
JournalJournal of Symbolic Logic
Volume84
Issue number1
Early online date14 Mar 2019
DOIs
Publication statusPublished - Mar 2019
Peer-reviewedYes

View graph of relations

ID: 153406900

Related by author
  1. Kelley-Morse set theory does not prove the class Fodor principle

    Research output: Contribution to journalArticle

  2. How to have more things by forgetting how to count them

    Research output: Contribution to journalArticle

  3. Dependent choice, properness, and generic absoluteness

    Research output: Contribution to journalArticle

  4. Critical Cardinals

    Research output: Contribution to journalArticle

  5. The Morris model

    Research output: Contribution to journalArticle

Related by journal
  1. The Kim-Pillay theorem for Abstract Elementary Categories

    Research output: Contribution to journalArticle

  2. On wide Aronszajn trees in the presence of MA

    Research output: Contribution to journalArticle

  3. A forcing notion collapsing \aleph_3 and preserving all other cardinals

    Research output: Contribution to journalArticle

  4. Measuring club-sequences together with the continuum large

    Research output: Contribution to journalArticle