Constructive and Non-Constructive Infinite Formulas in Computable Structures
Necessary Isomorphism Conditions for Rogers Semilattices of Finite Partially Ordered Sets
The Fixed Point Group of a Free Group Automorphism
Antiadditive Primitive Connected Theories
Convex Subgroups of Partially Right-Ordered Groups