On the Cauchy Completeness of the Constructive Cauchy Reals

DOI10.1016/j.entcs.2006.09.012zbMath1262.03126OpenAlexW2071403187MaRDI QIDQ4921444

Robert S. Lubarsky

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.012

zbMATH Keywords

Kripke modelCauchy sequenceintuitionistic set theorytopological modelmodulus of convergence

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Related Items

The effects of effects on constructivism, Unifying sets and programs via dependent types, Extensional constructive real analysis via locators, Unifying Sets and Programs via Dependent Types

Cites Work

• On the constructive Dedekind reals
• Constructivism in mathematics. An introduction. Volume I
• Sheaves in geometry and logic: a first introduction to topos theory
• Unnamed Item
• Unnamed Item