A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers
A dichotomy theorem for mono-unary algebras
We study the isomorphism relation of invariant Borel classes of countable mono-unary algebras and prove a strong dichotomy theorem.
A Logic of Approximate Reasoning
About the admissible predicates on admissible sets.
Barwise Completeness Theorems For Logics With Integrals
Completeness theorem for probability models with finitely many valued measure in logic with integrals
Computability in special models.
Continuous Time Probability Logic
Extensions of countable infinitary logic which preserve most of its nice properties.
Model theory for logic.
Model Theory for Lam Logic
On expandability of models of arithmetic and set theory to models of weak second-order theories
On the form of countable admissible ordinals
On the relation of -reducibility between admissible sets.
On -subsets of naturals over abelian groups.
Remarks on generic models
Type d'ordre des ordinaux de modèles non dénombrables de la théorie des ensembles
Weak cylindric probability algebras.
Weak Probability Logic With Infinitary Predicates
ω-models of second order arithmetic and admissible sets