Realizing Brouwer's sequences

DOI10.1016/0168-0072(94)00047-6zbMATH Open0863.03031OpenAlexW2074208814MaRDI QIDQ1923574FDOQ1923574

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 functionsintuitionistic formal systemlawless sequenceschoice sequenceFIMfoundations of intuitionistic mathematics

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites Work

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

Cited In (4)

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Recursion over realizability structures 👍 👎
• On the ubiquity of certain total type structures (extended abstract) 👍 👎
• Church's thesis, continuity, and set theory 👍 👎
• General recursive realizability and basic logic 👍 👎
• General recursive realizability and intuitionistic logic 👍 👎
• A classical view of the intuitionistic continuum 👍 👎
• Unavoidable sequences in constructive analysis 👍 👎
• Analyzing realizability by Troelstra's methods 👍 👎

This page was built for publication: Realizing Brouwer's sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1923574)