Towards Recursive Model Theory

This publication has 5 references indexed in Scilit:

• The dimension of the negation of transitive closure
  The Journal of Symbolic Logic, 1995
• Monotone but not positive subsets of the Cantor space
  The Journal of Symbolic Logic, 1987
• Fixed-point extensions of first-order logic
  Annals of Pure and Applied Logic, 1986
• On the complexity of models of arithmetic
  The Journal of Symbolic Logic, 1982
• Properties preserved under homomorphism
  Pacific Journal of Mathematics, 1959