Scott sentences and a problem of Vaught for mono-uary algebras
Seq-consistency property and interpolation theorems
Strong Maehara and Takeuti type interpolation theorems for
Strong Maehara and Takeuti type interpolation theorems for
Svenonius sentences and Lindström's theory on preservation theorems
The number of -equivalent nonisomorphic models for κ weakly compact
For a cardinal κ and a model M of cardinality κ let No(M) denote the number of nonisomorphic models of cardinality κ which are -equivalent to M. We prove that for κ a weakly compact cardinal, the question of the possible values of No(M) for models M of cardinality κ is equivalent to the question of the possible numbers of equivalence classes of equivalence relations which are Σ¹₁-definable over . By [SV] it is possible to have a generic extension where the possible numbers of equivalence classes...
The role of the omitting types theorem in infinitary logic.
The structure of -like orderings
The theory of dual groups
We study the -theory of sequences of dual groups and give a complete classification of the -elementary classes by finding simple invariants for them. We show that nonstandard models exist.
What the finitization problem is not
Δ-extension and Hanf-numbers
-satisfiability, -consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for with a strong limit cardinal of cofinality
-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Кодирование псевдобулевых моделей для инфинитарной неклассической логики трансфинитного порядка.
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
Мощность моделей теорий исчисления с квантором Хартига.
О числе моделей в -теориях. II