On the Constructive Dedekind Reals: Extended Abstract

DOI10.1007/978-3-540-72734-7_25MaRDI QIDQ5434519zbMATH OpenOpenAlexFDO

Authors Robert S. Lubarsky, Michael Rathjen

Publication date 4 January 2008

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72734-7_25

Mathematics Subject Classification ID

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

Recommendations

• On the constructive Dedekind reals
• A generalized cut characterization of the fullness axiom in CZF
• On the Cauchy completeness of the constructive Cauchy reals
• Kripke models for subtheories of \textsf{CZF}
• Independence results around constructive ZF

Cited in

(16)

• On the Cauchy completeness of the constructive Cauchy reals
• Domain Theory and Realisability over Scott’s D_∞ in Constructive Set Theory
• scientific article; zbMATH DE number 7511476 (Why is no real title available?)
• On constructivity and the Rosser property: a closer look at some Gödelean proofs
• On the constructive Dedekind reals
• On the Cauchy completeness of the constructive Cauchy reals
• Remarks on the Dedekind completion of a nonstandard model of the reals
• Independence results around constructive ZF
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• Implementing constructive real analysis (preliminary report)
• The Degrees of Constructibility of Cohen Reals
• Schnorr Trivial Reals: A construction
• The Dedekind reals in abstract Stone duality
• scientific article; zbMATH DE number 832104 (Why is no real title available?)
• A generalized cut characterization of the fullness axiom in CZF
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe

This page was built for publication: On the Constructive Dedekind Reals: Extended Abstract

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