Preservation theorems for bounded formulas (Q866887): 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/s00153-006-0016-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2064470584
@@ Property / OpenAlex ID: W2064470584 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting classical theories in constructive ones
+Normal rank
@@ Property / cites work @@
+Saturated models of universal theories
@@ Property / cites work: Saturated models of universal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215631
@@ Property / cites work: Q4215631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035302
@@ Property / cites work: Q4035302 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138830
@@ Property / cites work: Q3138830 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Provably total functions of intuitionistic bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded arithmetic and the polynomial hierarchy
@@ Property / cites work: Bounded arithmetic and the polynomial hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND
+Normal rank
@@ Property / cites work @@
+Polynomial induction and length minimization in intuitionistic bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:866887