End extensions of models of weak arithmetic theories (Q286696): Difference between revisions

@@ Property / OpenAlex ID @@
+W2273720538
@@ Property / OpenAlex ID: W2273720538 / rank @@
+Normal rank
@@ Property / cites work @@
+End-extending models of $IΔ_0 + exp + ΒΣ_1$
@@ Property / cites work: End-extending models of $IΔ_0 + exp + ΒΣ_1$ / rank @@
+Normal rank
@@ Property / cites work @@
+A sharp version of the bounded Matijasevich conjecture and the end-extension problem
+Normal rank
@@ Property / cites work @@
+Q4132480
@@ Property / cites work: Q4132480 / rank @@
+Normal rank
@@ Property / cites work @@
+L'arithmétique ouverte et ses modèles non-standards
+Normal rank
@@ Property / cites work @@
+A note on the Mac Dowell-Specker theorem
@@ Property / cites work: A note on the Mac Dowell-Specker theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962995
@@ Property / cites work: Q3962995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772177
@@ Property / cites work: Q5772177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank