Automorphism groups of models of Peano arithmetic (Q4451717): Difference between revisions

@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Models and types of Peano's arithmetic
@@ Property / cites work: Models and types of Peano's arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Discernible elements in models for Peano arithmetic
+Normal rank
@@ Property / cites work @@
+Right-ordered groups
@@ Property / cites work: Right-ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Groups of order automorphisms of ordered sets
@@ Property / cites work: Groups of order automorphisms of ordered sets / rank @@
+Normal rank
@@ Property / cites work @@
+The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Arithmetically saturated models of arithmetic
@@ Property / cites work: Arithmetically saturated models of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal satisfaction classes with an application to rigid models of Peano arithmetic
+Normal rank
@@ Property / cites work @@
+On two questions concerning the automorphism groups of countable recursively saturated models of PA
+Normal rank
@@ Property / cites work @@
+Automorphisms of recursively saturated models of arithmetic
+Normal rank