The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337): Difference between revisions

@@ Property / DOI @@
-.1016/j.indag.2018.06.005
@@ Property / DOI: 10.1016/j.indag.2018.06.005 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.00404
@@ Property / arXiv ID: 1805.00404 / rank @@
+Normal rank
@@ Property / cites work @@
+The double negation of the intermediate value theorem
+Normal rank
@@ Property / cites work @@
+Q2703586
@@ Property / cites work: Q2703586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5316409
@@ Property / cites work: Q5316409 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer meets Husserl. On the phenomenology of choice sequences
+Normal rank
@@ Property / cites work @@
+Q5175689
@@ Property / cites work: Q5175689 / rank @@
+Normal rank
@@ Property / cites work @@
+Arguments for the Continuity Principle
@@ Property / cites work: Arguments for the Continuity Principle / rank @@
+Normal rank
@@ Property / cites work @@
+L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
+Normal rank
@@ Property / cites work @@
+Q4205600
@@ Property / cites work: Q4205600 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer-Heyting sequences converge
@@ Property / cites work: Brouwer-Heyting sequences converge / rank @@
+Normal rank
@@ Property / cites work @@
+Q5781941
@@ Property / cites work: Q5781941 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792922
@@ Property / cites work: Q5792922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802132
@@ Property / cites work: Q5802132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802131
@@ Property / cites work: Q5802131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802136
@@ Property / cites work: Q5802136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802240
@@ Property / cites work: Q5802240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805960
@@ Property / cites work: Q5805960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5827967
@@ Property / cites work: Q5827967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5827968
@@ Property / cites work: Q5827968 / rank @@
+Normal rank
@@ Property / cites work @@
+Points and Spaces
@@ Property / cites work: Points and Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5850533
@@ Property / cites work: Q5850533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068683
@@ Property / cites work: Q4068683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931272
@@ Property / cites work: Q3931272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023188
@@ Property / cites work: Q4023188 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer and Souslin on Transfinite Cardinals
@@ Property / cites work: Brouwer and Souslin on Transfinite Cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+On the role of reducibility principles
@@ Property / cites work: On the role of reducibility principles / rank @@
+Normal rank
@@ Property / cites work @@
+A model for HAS. A topological interpretation of the theory of species of natural numbers
+Normal rank
@@ Property / cites work @@
+The use of Kripke's schema as a reduction principle
+Normal rank
@@ Property / cites work @@
+An interpretation of intuitionistic analysis
@@ Property / cites work: An interpretation of intuitionistic analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Braucht die konstruktive Mathematik Grundlagen?
@@ Property / cites work: Braucht die konstruktive Mathematik Grundlagen? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666844
@@ Property / cites work: Q3666844 / rank @@
+Normal rank
@@ Property / cites work @@
+From Brouwerian counter examples to the creating subject
+Normal rank
@@ Property / cites work @@
+The selected correspondence of L. E. J. Brouwer.
@@ Property / cites work: The selected correspondence of L. E. J. Brouwer. / rank @@
+Normal rank
@@ Property / cites work @@
+L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
+Normal rank
@@ Property / cites work @@
+Q5792924
@@ Property / cites work: Q5792924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5796582
@@ Property / cites work: Q5796582 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5786042
@@ Property / cites work: Q5786042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
+Normal rank
@@ Property / cites work @@
+Foundations of set theory
@@ Property / cites work: Foundations of set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic uniformity principles for propositions and some applications
+Normal rank
@@ Property / cites work @@
+The conveyability of intuitionism, an essay on mathematical cognition
+Normal rank
@@ Property / cites work @@
+The continuum hypothesis in intuitionism
@@ Property / cites work: The continuum hypothesis in intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5843315
@@ Property / cites work: Q5843315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839919
@@ Property / cites work: Q5839919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4757531
@@ Property / cites work: Q4757531 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+BLICK VON DER INTUITIONISTISCHEN WARTE
@@ Property / cites work: BLICK VON DER INTUITIONISTISCHEN WARTE / rank @@
+Normal rank
@@ Property / cites work @@
+Q5329144
@@ Property / cites work: Q5329144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946163
@@ Property / cites work: Q3946163 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexamples in intuitionistic analysis using kripke's schema
+Normal rank
@@ Property / cites work @@
+Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
+Normal rank
@@ Property / cites work @@
+A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS
+Normal rank
@@ Property / cites work @@
+Q5585372
@@ Property / cites work: Q5585372 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized recursive functionals and formalized realizability
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on free choice sequences and the topological completeness proofs
+Normal rank
@@ Property / cites work @@
+Q5336301
@@ Property / cites work: Q5336301 / rank @@
+Normal rank
@@ Property / cites work @@
+On weak completeness of intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Q5525322
@@ Property / cites work: Q5525322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5539743
@@ Property / cites work: Q5539743 / rank @@
+Normal rank
@@ Property / cites work @@
+Which number theoretic problems can be solved in recursive progressions on Π<sub>1</sub><sup>1</sup>-paths through <i>O</i>?
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on extensions of Heyting's arithmetic by adding the ``creative subject''
+Normal rank
@@ Property / cites work @@
+A negationless interpretation of intuitionistic theories
+Normal rank
@@ Property / cites work @@
+Q4180345
@@ Property / cites work: Q4180345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536615
@@ Property / cites work: Q5536615 / rank @@
+Normal rank
@@ Property / cites work @@
+Are the traditional philosophies of mathematics really incompatible?
+Normal rank
@@ Property / cites work @@
+Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics
+Normal rank
@@ Property / cites work @@
+The Kripke schema in metric topology
@@ Property / cites work: The Kripke schema in metric topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388951
@@ Property / cites work: Q4388951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858647
@@ Property / cites work: Q4858647 / rank @@
+Normal rank
@@ Property / cites work @@
+COLOG-88. International conference on computer logic, Tallinn, USSR, December 12-16, 1988. Proceedings
+Normal rank
@@ Property / cites work @@
+On the Brouwerian concept of negative continuity
@@ Property / cites work: On the Brouwerian concept of negative continuity / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer's equivalence between virtual and inextensible order
+Normal rank
@@ Property / cites work @@
+Can there be no nonrecursive functions?
@@ Property / cites work: Can there be no nonrecursive functions? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3926577
@@ Property / cites work: Q3926577 / rank @@
+Normal rank
@@ Property / cites work @@
+The Invalidity of Markoff's Schema
@@ Property / cites work: The Invalidity of Markoff's Schema / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579001
@@ Property / cites work: Q5579001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600854
@@ Property / cites work: Q5600854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600855
@@ Property / cites work: Q5600855 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786480
@@ Property / cites work: Q3786480 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer's Incomplete Objects
@@ Property / cites work: Brouwer's Incomplete Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of indeterminacy in the theory of general choice sequences
+Normal rank
@@ Property / cites work @@
+Q5813273
@@ Property / cites work: Q5813273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3605742
@@ Property / cites work: Q3605742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5614645
@@ Property / cites work: Q5614645 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions, proofs and the meaning of logical constants
+Normal rank
@@ Property / cites work @@
+Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
+Normal rank
@@ Property / cites work @@
+Q4091903
@@ Property / cites work: Q4091903 / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionistically plausible interpretation of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Spreads or choice sequences?
@@ Property / cites work: Spreads or choice sequences? / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
+Normal rank
@@ Property / cites work @@
+Q4087147
@@ Property / cites work: Q4087147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4126323
@@ Property / cites work: Q4126323 / rank @@
+Normal rank
@@ Property / cites work @@
+On a second order propositional operator in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3671972
@@ Property / cites work: Q3671972 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Analysing choice sequences
@@ Property / cites work: Analysing choice sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135831
@@ Property / cites work: Q3135831 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5354732
@@ Property / cites work: Q5354732 / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Q4552754
@@ Property / cites work: Q4552754 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
+Normal rank
@@ Property / cites work @@
+Q3927208
@@ Property / cites work: Q3927208 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanism, mentalism, and metamathematics. An essay on finitism
+Normal rank
@@ Property / cites work @@
+THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
@@ Property / cites work: THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE" / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113872392
@@ Property / Wikidata QID: Q113872392 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.INDAG.2018.06.005
@@ Property / DOI: 10.1016/J.INDAG.2018.06.005 / rank @@
+Normal rank