Two General Results on Intuitionistic Bounded Theories (Q4264539): 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.1002/malq.19990450310
+Normal rank
@@ Property / OpenAlex ID @@
+W1964185637
@@ Property / OpenAlex ID: W1964185637 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of Heyting arithmetic
@@ Property / cites work: Fragments of Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A Conservation Result Concerning Bounded Theories and the Collection Axiom
+Normal rank
@@ Property / cites work @@
+Q4867394
@@ Property / cites work: Q4867394 / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting Algorithms from Intuitionistic Proofs
@@ Property / cites work: Extracting Algorithms from Intuitionistic Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4264539