Predicate Logics of Constructive Arithmetical Theories (Q3416116): Difference between revisions

@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Fragments of Heyting arithmetic
@@ Property / cites work: Fragments of Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+The degree of the set of sentences of predicate provability logic that are true under every interpretation
+Normal rank
@@ Property / cites work @@
+The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
+Normal rank
@@ Property / cites work @@
+SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
+Normal rank
@@ Property / cites work @@
+THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
+Normal rank
@@ Property / cites work @@
+Incompleteness in intuitionistic metamathematics
@@ Property / cites work: Incompleteness in intuitionistic metamathematics / rank @@
+Normal rank
@@ Property / cites work @@
+No escape from Vardanyan's theorem
@@ Property / cites work: No escape from Vardanyan's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Faith \& falsity
@@ Property / cites work: Faith \& falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Rules and arithmetics
@@ Property / cites work: Rules and arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+On the completenes principle: A study of provability in heyting's arithmetic and extensions
+Normal rank