Iterating Symmetric Extensions

Asaf Karagila
Asaf Karagila

J. Symb. Log., pp. 123-159, 2019.

Cited by: 12|Bibtex|Views11|Links
EI

Abstract:

Symmetric extensions is a method which extends forcing to produce models where the axiom of choice fails, by identifying intermediate models between the ground model and the generic extensions. We develop a framework for iterating symmetric extensions in order to construct new models of ZF. We use this method to construct a model which ...More

Code:

Data:

Your rating :
0

 

Tags
Comments