Notes on exponential-logarithmic terms
On models of finite direct products of theories
On the congruence lattice of stable algebras with definability of compact congruences
ℳ-rank and meager groups
Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe’s conjecture.
Seq-consistency property and interpolation theorems
Some consequences of the normality of the space of models
Some Remarks on Projective Model Classes and the Interpolation Theorem.
Strong Maehara and Takeuti type interpolation theorems for
Strong Maehara and Takeuti type interpolation theorems for
The ordering of commutative terms
By a commutative term we mean an element of the free commutative groupoid of infinite rank. For two commutative terms , write if contains a subterm that is a substitution instance of . With respect to this relation, is a quasiordered set which becomes an ordered set after the appropriate factorization. We study definability in this ordered set. Among other things, we prove that every commutative term (or its block in the factor) is a definable element. Consequently, the ordered set has...
The theorems of Beth and Craig in abstract model theory. II. Compact logics.
Topological model theory with an interior operator: consistency properties and back - and forth arguments.
-tautologies, uniform and non-uniform upper bounds in computation theory
Una -tautologia è una tautologia del tipo avente un solo interpolante di Craig , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.
Δ-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
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Модальные логики и многообразия модальных алгебр: свойства Бета, интерполяция и амальгируемость
О теории моделей на наследственно конечных надстройках.
О фильтрованных произведениях моделей