Realizing Brouwer's sequences

DOI10.1016/0168-0072(94)00047-6zbMath0863.03031MaRDI QIDQ1923574

Richard E. Vesley

Publication date: 25 November 1996

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)00047-6

zbMATH Keywords

continuous functions; intuitionistic formal system; lawless sequences; choice sequence; FIM; foundations of intuitionistic mathematics

Mathematics Subject Classification ID

03F50: Metamathematics of constructive systems

03F55: Intuitionistic mathematics

Related Items

Analyzing realizability by Troelstra's methods, A common axiom set for classical and intuitionistic plane geometry, SEPARATING FRAGMENTS OF WLEM, LPO, AND MP

Cites Work

• The completeness of intuitionistic propositional calculus for its intended interpretation
• Constructivism in mathematics. An introduction. Volume II
• On the idea(l) of logical closure
• A remark on free choice sequences and the topological completeness proofs
• On a weakening of Markov's Principle
• Spreads or choice sequences?
• An interpretation of intuitionistic analysis
• Formalized recursive functionals and formalized realizability
• Formal systems for some branches of intuitionistic analysis
• Points and Spaces
• On the interpretation of intuitionistic number theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item