Mehrsortige logische Systeme mit unendlich langen Formeln I.
Mehrsortige logische Systeme mit unendlich langen Formeln II.
Model theory for infinite quantifier languages
More on the Ehrenfeucht-Fraisse game of length ω₁
By results of [9] there are models and for which the Ehrenfeucht-Fraïssé game of length ω₁, , is non-determined, but it is consistent relative to the consistency of a measurable cardinal that no such models have cardinality ≤ ℵ₂. We now improve the work of [9] in two ways. Firstly, we prove that the consistency strength of the statement “CH and is determined for all models and of cardinality ℵ₂” is that of a weakly compact cardinal. On the other hand, we show that if , T is a countable complete...
Morley numbers for generalized languages
Mostowski's collapsing function and the closed unbounded filter