Login / Signup

Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.

Roman Kossak
Published in: Log. J. IGPL (1997)
Keyphrases
  • point sets
  • point correspondences
  • point pattern matching
  • probabilistic model
  • pairwise
  • d objects
  • semi supervised