# Tagged Questions

84 views

### On the number of countable models of complete theories of models of ZFC [duplicate]

Fix the language of set theory $\mathcal{L}=\{\in\}$. Let $\langle M,\in\rangle$ be a set or proper class model of ZFC (e.g. $M$ could be $L$, $HOD$, $V_{\kappa}$ for some inaccessible cardinal ...
106 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 ...
109 views

### Use of forcing to real line to make elements countable

Can we use forcing techniques to force the set of elements of the real line to be countable? If not can anyone show why it is not possible?
136 views

### Forcing Question about a sequence of functions from $\aleph_{0}$ into $2 = \{0, 1\}$

I'm trying to go through Timothy Chow's A Beginner's Guide to Forcing (arxiv pdf). My particular question is about the first paragraph of Section $5$ (on p. $7$ of the above pdf). First, my vague ...
121 views

### Quickie on Boolean valued models

Bell writes on page 21 (you may use the search in the preview to search for "21" to view the page): "..., we show that, for any complete Boolean algebra $B$, all the theorems of $ZFC$ are true in ...
I am looking at the following passage in Halbeisen's book "Combinatorial Set Theory" (p 260 at the bottom): What is the role of $\Phi$? It seems to me that a finite fragment is the same as a ...