Completeness and The Number of Types For Infinitary Logic (New developments of independence notions in model theory)
Kota Takeuchi · Institutional Repositories DataBase (IRDB) · 2010
In Infinitary Logic, the topological space $S(L_{F}, T)$ is not compact.Morley showed $S(L_{F}, T)$ is analytic where $L_{F}$ is countable [2].In this pa- per I show that $S(L_{F}, T)$ is completely metrizable where $L_{F}$ is countable.