On expandability of models of Peano arithmetic. II (Q1236115): Difference between revisions

@@ Property / cites work @@
+Q4110995
@@ Property / cites work: Q4110995 / rank @@
+Normal rank
@@ Property / cites work @@
+Discernible elements in models for Peano arithmetic
+Normal rank
@@ Property / cites work @@
+The classical and the <i>ω</i>-complete arithmetic
+Normal rank
@@ Property / cites work @@
+Normal models and the field $Σ*_1$
@@ Property / cites work: Normal models and the field $Σ*_1$ / rank @@
+Normal rank
@@ Property / cites work @@
+ω-models of second order arithmetic and admissible sets
+Normal rank
@@ Property / cites work @@
+Q4133635
@@ Property / cites work: Q4133635 / rank @@
+Normal rank
@@ Property / cites work @@
+The role of the axiom of induction in elementary arithmetic
+Normal rank
@@ Property / cites work @@
+Q4190616
@@ Property / cites work: Q4190616 / rank @@
+Normal rank
@@ Property / cites work @@
+On models of arithmetic—Answers to two problems raised by H. Gaifman
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02123407
+Normal rank
@@ Property / OpenAlex ID @@
+W4240595892
@@ Property / OpenAlex ID: W4240595892 / rank @@
+Normal rank