Switch to: References

Add citations

You must login to add citations.
  1. Automorphisms of Countable Recursively Saturated Models of PA: A Survey.Henryk Kotlarski - 1995 - Notre Dame Journal of Formal Logic 36 (4):505-518.
    We give a survey of automorphisms of countable recursively saturated models of Peano Arithmetic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations