All Questions
Tagged with forcing axiom-of-choice
12 questions
9
votes
2
answers
1k
views
Relationship between fragments of the axiom of choice and the dependent choice principles
The dependent choice principle ${\rm DC}_\kappa$ states that if $S$ is a nonempty set and $R$ is a binary relation such that for every $s\in S^{\lt\kappa}$, there is $x\in S$ with $sRx$, then there ...
- 2,240
6
votes
2
answers
886
views
Why are some axioms preserved in generic extensions?
It is a known theorem that for a model of $ZF$, $M$, if $M\models AC$ and $G$ is a $P$-generic filter over $M$, for some $P\in M$, then $M[G]\models AC$.
On the other hand, it is long known that ...
- 39.8k
4
votes
1
answer
441
views
Is the ordering principle preserved in generic extensions?
The ordering principle says that every set can be linearly ordered.
In a previous question Why are some axioms preserved in generic extensions? Asaf Karagila asked which axioms are preserved in ...
- 16.2k
19
votes
2
answers
856
views
Do choice principles in all generic extensions imply AC in $V$?
It's well-known that not all choice principles are preserved under forcing, e.g. in this answer https://mathoverflow.net/a/77002/109573 Asaf shows the ordering principle can hold in $V$ and fail in a ...
- 4,316
18
votes
5
answers
2k
views
Forcing over models without the axiom of choice
In the vast majority of papers forcing is always developed over ZFC.
Not surprisingly too, since infintary combinatorial principles are often used to prove results based on properties such as chain ...
- 39.8k
16
votes
1
answer
1k
views
Can there be a global linear ordering of the universe without a global well-ordering of the universe?
This question arose in the answers to Asaf Karagila's
question Does ZFC prove that the universe is linearly orderable?. The answer there was that one can have a ZFC model with no global linear ...
- 236k
13
votes
3
answers
796
views
How to make countably closed forcing "nice" without choice
When working over a model $V$ of $ZFC$, countably closed forcings are extremely nice:
If $\mathbb{P}$ is countably closed, then $V[G]$ has no new $\omega$-sequences of elements of $V$. In ...
- 20.9k
12
votes
1
answer
695
views
A new cardinality living in every forcing extension?
I'm broadly interested in notions of "generic presentability" - when a given object exists in every forcing extension of the universe by some fixed forcing, at least up to the appropriate ...
- 20.9k
7
votes
2
answers
722
views
Consistency of a strange (choice-wise) set of reals
Consider a set $X\subseteq \mathbb{R}$ such that
$X$ is not separable wrt its subspace topology
For all $r\in\mathbb{R}$ there exists a sequence $(x_n)_{n\in\omega} \subset X$ converging to $r$
In a ...
- 2,286
7
votes
2
answers
683
views
Can second-order logic identify "amorphous satisfiability"?
Recall that a set is amorphous iff it is infinite but has no partition into two infinite subsets. I'm interested in the possible structure (in the sense of model theory) which an amorphous set can ...
- 20.9k
7
votes
1
answer
908
views
Symmetric extensions and class forcing
Suppose $V\models ZFC$ and $P\in V$ is a poset of forcing conditions.
It is a basic theorem in forcing that $V[G]\models ZFC$ for any generic extension by a $V$-generic filter $G$.
It is also known ...
- 39.8k
2
votes
1
answer
438
views
The patterns of possibility for nontrivial automorphisms and nontrivial elementary embeddings of the universe
In their paper "The Role of the Foundation Axiom in the Kunen Inconsistency" (arXiv:1311.0814 [Math.LO]), Daghighi, Golshani, Hamkins, and Jerabek show that the patterns of possibility for the ...
- 6,132