Δ-extension and Hanf-numbers
ω-Trees in stationary logic
Исчисление с квантором элементарной эквивалентности
Мощность моделей теорий исчисления с квантором Хартига.
Некоторые теории в обобщенных исчислениях
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
Число Ханфа для исчисления с квантором Хартига