Conservative extensions of models of arithmetic (Q3900068): Difference between revisions

@@ Property / cites work @@
+The intersection of nonstandard models of arithmetic
+Normal rank
@@ Property / cites work @@
+End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering
+Normal rank
@@ Property / cites work @@
+Amalgamation of nonstandard models of arithmetic
@@ Property / cites work: Amalgamation of nonstandard models of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Ultrafilters on a countable set
@@ Property / cites work: Ultrafilters on a countable set / rank @@
+Normal rank
@@ Property / cites work @@
+Ranks and definability in superstable theories
@@ Property / cites work: Ranks and definability in superstable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4405156
@@ Property / cites work: Q4405156 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultrafilters and Standard Functions in Non-Standard Arithmetic
+Normal rank