All Questions
2 questions
4
votes
1
answer
219
views
Generic Absoluteness restricted to formulas with low complexity or to the class of forcings
Ikegami and Schlicht proposed a principle, namely generic absoluteness, which is stated below using Hamkins' and Lowe's terminology:
Working in $ZF$:
(Generic Absoluteness): For all formulas in ...
6
votes
1
answer
546
views
On successive regular cardinals with no ladders
Definition: Let $\kappa$ be an $\aleph$ cardinal, we say that $\langle f_\alpha\colon\alpha\to\kappa\mid\alpha<\kappa^+\rangle$ is a ladder if every $f_\alpha$ is injective.
Equivalently this is ...