Semantical completeness of first-order predicate logic and the weak fan theorem (Q2350974): Difference between revisions

@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+An intuitionistic completeness theorem for classical predicate logic
+Normal rank
@@ Property / cites work @@
+Equivalents of the (weak) fan theorem
@@ Property / cites work: Equivalents of the (weak) fan theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Another intuitionistic completeness proof
@@ Property / cites work: Another intuitionistic completeness proof / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
+Normal rank
@@ Property / cites work @@
+Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
+Normal rank