In order to built the collection of Cauchy reals as a set in constructive set theory, the only Power Set-like principle needed is Exponentiation.
Abstract. In order to built the collection of Cauchy reals as a set in constructive set theory, the only Power Set-like principle needed is Ex-.
In order to built the collection of Cauchy reals as a set in constructive set theory, the only Power Set-like principle needed is Exponentiation.
Oct 2, 2015 · Abstract. In order to build the collection of Cauchy reals as a set in constructive set theory, the only Power Set-like principle needed is ...
On the constructive Dedekind reals. Robert S. Lubarsky, Michael Rathjen. Full Text: 131-152. DOI: https://doi.
Missing: Extended | Show results with:Extended
Dec 5, 2024 · Abstract. In order to build the collection of Cauchy reals as a set in constructive set theory, the only power set-like principle needed is ...
On the Constructive Dedekind Reals: Extended Abstract. Resource URI: https://dblp.l3s.de/d2r/resource/publications/conf/lfcs/LubarskyR07. Home | Example ...
Oct 2, 2015 · In order to build the collection of Cauchy reals as a set in constructive set theory, the only Power Set-like principle needed is Exponentiation.
Missing: Extended | Show results with:Extended
Jan 4, 2008 · instance of · scholarly article ; title. On the Constructive Dedekind Reals: Extended Abstract (English) ; author · Robert S. Lubarsky ; published ...
In order to build the collection of Cauchy reals as a set in constructive set theory, the only power set-like principle needed is exponentiation.