Realizability Models Separating Various Fan Theorems (Q5326379): Difference between revisions

@@ Property / cites work @@
+Elementary axioms for local maps of toposes
@@ Property / cites work: Elementary axioms for local maps of toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+A decomposition of Brouwer’s fan theorem
@@ Property / cites work: A decomposition of Brouwer’s fan theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567844
@@ Property / cites work: Q3567844 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer's fan theorem and unique existence in constructive analysis
+Normal rank
@@ Property / cites work @@
+Relative and modified relative realizability
@@ Property / cites work: Relative and modified relative realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequences of real functions on [0,1] in constructive reverse mathematics
+Normal rank
@@ Property / cites work @@
+Q3863865
@@ Property / cites work: Q3863865 / rank @@
+Normal rank
@@ Property / cites work @@
+Relativized realizability in intuitionistic arithmetic of all finite types
+Normal rank
@@ Property / cites work @@
+A uniformly continuous function on [0,1] that is everywhere different from its infimum
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Independence results around constructive ZF
@@ Property / cites work: Independence results around constructive ZF / rank @@
+Normal rank
@@ Property / cites work @@
+SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
@@ Property / cites work: SEPARATING THE FAN THEOREM AND ITS WEAKENINGS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4981453
@@ Property / cites work: Q4981453 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567851
@@ Property / cites work: Q3567851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310885
@@ Property / cites work: Q5310885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+A semantical proof of De Jongh's theorem
@@ Property / cites work: A semantical proof of De Jongh's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank