Notions of Cauchyness and metastability

DOI10.1007/978-3-319-72056-2_9MaRDI QIDQ1709697zbMATH OpenOpenAlexWikidataFDO

Authors Hannes Diener, Robert S. Lubarsky

Publication date 6 April 2018

Full work available at URL https://doi.org/10.1007/978-3-319-72056-2_9

zbMATH Keywords

metastabilityaxiom of choiceconstructive analysisCauchy condition

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Constructive and recursive analysis (03F60)

Recommendations

• Metastability and higher-order computability
• On the Cauchy completeness of the constructive Cauchy reals
• On the Cauchy completeness of the constructive Cauchy reals
• Double sequences, almost Cauchyness and BD-N
• A Constructive Look at Generalised Cauchy Reals

Cited in

(2)

• Metastability and higher-order computability
• Separating the fan theorem and its weakenings. II

This page was built for publication: Notions of Cauchyness and metastability

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