Intuitionistic open induction and least number principle and the Buss operator (Q5937815): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1039293063
+Normal rank
@@ Property / OpenAlex ID @@
+W2021735825
@@ Property / OpenAlex ID: W2021735825 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic validity in \(T\)-normal Kripke structures
+Normal rank
@@ Property / cites work @@
+Q4179016
@@ Property / cites work: Q4179016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of kripke models of heyting arithmetic
+Normal rank
@@ Property / cites work @@
+Q5341750
@@ Property / cites work: Q5341750 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Finite Kripke models of HA are locally PA
@@ Property / cites work: Finite Kripke models of HA are locally PA / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of HA based on \(\Sigma_ 1\)-induction
@@ Property / cites work: Fragments of HA based on \(\Sigma_ 1\)-induction / rank @@
+Normal rank