Pell Equations and Weak Regularity Principles (Q3507426): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-69407-6_14
+Normal rank
@@ Property / OpenAlex ID @@
+W1505440416
@@ Property / OpenAlex ID: W1505440416 / rank @@
+Normal rank
@@ Property / cites work @@
+Pell equations and exponentiation in fragments of arithmetic
+Normal rank
@@ Property / cites work @@
+The Skolem-Bang theorems in ordered fields with an IP
+Normal rank
@@ Property / cites work @@
+On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
+Normal rank
@@ Property / cites work @@
+The Pigeonhole Principle and Fragments of Arithmetic
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3778748
@@ Property / cites work: Q3778748 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter-Free Universal Induction
@@ Property / cites work: Parameter-Free Universal Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine induction
@@ Property / cites work: Diophantine induction / rank @@
+Normal rank
@@ Property / cites work @@
+Σ_{𝑛}-bounding and Δ_{𝑛}-induction
@@ Property / cites work: Σ_{𝑛}-bounding and Δ_{𝑛}-induction / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded existential induction
@@ Property / cites work: Bounded existential induction / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3507426