4
votes
1answer
56 views

Space of countable models of a theory T as a Polish space

Someone told me recently that the space of countable models of a first order theory $T$ form a Polish space. Can some one describe this construction to me?
12
votes
3answers
223 views

Axiom of Choice and Determinacy

In my set theory course we have been talking about the axiom of determinacy. One of the first things we showed was that $AD$ and $AC$ are incompatible. We later showed that $ZF+AD$ implies the ...
1
vote
0answers
68 views

Borel sets used in Model Theory

In Lemma 4.4.13 (page 161) of D.Marker- Model Theory book it is proved that $D(F,T)$ (the set of all possible F-diagrams of models of T) is a Borel set. Can someone explain to me the proof given a ...
3
votes
0answers
80 views

An application of Descriptive set theory in Model theory.

In page 162 of D.Marker Model theory book he proved that the set $S_n(F,T)$ of all $F$-types realized by some $n$-tuple in some countable model of $T$ is analytic (this is with any $F$:= $countable$ ...
2
votes
1answer
70 views

Question about a defined function in D.Marker Model Theory book.

In page 162 of D.Marker Model theory book he proved that the set $S_n(F,T)$ of all $F$-types realized by some $n$-tuple in some countable model of $T$ is analytic (this is with any $F$:= $countable$ ...