-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
-directedness and a question of E. Michael
We define -directedness, investigate various properties to determine whether they have this property or not, and use our results to obtain easier proofs of theorems due to Laurence and Alster concerning the existence of a Michael space, i.eȧ Lindelöf space whose product with the irrationals is not Lindelöf.
ω-models of second order arithmetic and admissible sets
ω-Trees in stationary logic
ωι-Sonslin trees under countable support iterations
We show the property “is proper and preserves every -Souslin tree” is preserved by countable support iteration.
Автоморфизмы алгебры с одной монарной операцией в сигнатуре
Автоморфизмы булевых алгебр, рeкурсивных на атомах.
Автоморфизмы конструктивизаций булевых алгебр.
Автономная вычислимость.
Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта -формул
Автоустойчивость булевых алгебр с выделенным идеалом.
Автоустойчивость гиперарифметических моделей
Автоустойчивость и вычислимые семейства конструктивизаций.
Автоустойчивость и продолжение конструктивизаций.
Автоустойчивость моделей
Автоустойчивость моделей и абелевых групп
Аксиома сравнимого выбора и униформизуемость проективных классов.
Аксиоматизируемость и модельная полнота класса регулярных полигонов.
Аксиоматизируемость и полнота некоторых классов -полигонов.
Аксиоматизируемость одной проекции универсально аксиомтизируемого класса алгебраических систем