Switch to: References

Citations of:

Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups

Henryk Kotlarski & Richard Kaye

Notre Dame Journal of Formal Logic 35 (1):1-14 (1994)

Add citations

You must login to add citations.

Automorphism groups of saturated models of peano arithmetic.Ermek S. Nurkhaidarov & James H. Schmerl - 2014 - Journal of Symbolic Logic 79 (2):561-584.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 2 citations
Infinitary definitions of equivalence relations in models of PA.Richard Kaye - 1997 - Annals of Pure and Applied Logic 89 (1):37-43.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 1 citation
Automorphisms of Countable Recursively Saturated Models of PA: A Survey.Henryk Kotlarski - 1995 - Notre Dame Journal of Formal Logic 36 (4):505-518.details We give a survey of automorphisms of countable recursively saturated models of Peano Arithmetic. Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (5 more) Export citation Bookmark 2 citations

1