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.