# Tagged Questions

50 views

### Existence of a generic ultrafilter over constructible universe

I am referring to the Jech's "Set Theory" book. He wants to show that, if $(P,<)$ is the notion of forcing defined as: $p \in P$ iff $p$ is a finite sequence of ordinals less than $\omega_{1}^{L}$ ...
60 views

97 views

### How large or small can the gap in Shelah's main gap theorem be, up to consistency?

Shelah's main gap theorem in model theory says: For each first order complete theory $T$ in a countable language if $I(T,\kappa)$ denotes the number of its models of size $\kappa$ then one of ...
94 views

### Is there any relevance between Boolean Algebras and Fields?

In some sense Boolean Algebras and Fields have same operators and constants. In both structures there are operators addition ($+$ , $\vee$), multiplication ($\times$ , $\wedge$), inverse with respect ...
101 views

### Coding Forcing Notions by Ordinal Numbers: A Possible Approach to Shelah-Foreman-Magidor Conjecture

Forcing notions are partial orders. In some sense each partial order is a "combination" of some well-orderings and each well-orderings is isomorphic to a unique ordinal number. Thus in some sense a ...
96 views

### What does it mean to say that a forcing “collapses cardinals”?

I hear the following terminology a lot: "So-and-so forcing collapses cardinals." Does this just mean that certain cardinals in the ground model are no longer cardinals in the forcing extension? If ...
Is there an example of a poset $P$ that is a regular suborder of $Q$ such that $Q$ is $\omega_2$-strategically closed, but the quotient forcing $Q/P$ fails to be $\omega_1$-strategically closed? To ...