Geodesic

Volume 42 (2003) no. 4

Sommaire

Constructive and Non-Constructive Infinite Formulas in Computable Structures
p. 391-412
Necessary Isomorphism Conditions for Rogers Semilattices of Finite Partially Ordered Sets
p. 413-421
The Fixed Point Group of a~Free Group Automorphism
p. 422-472
Antiadditive Primitive Connected Theories
p. 473-496
Convex Subgroups of Partially Right-Ordered Groups
p. 497-509