Notions of Cauchyness and metastability

DOI10.1007/978-3-319-72056-2_9zbMATH Open1503.03048OpenAlexW2768486880WikidataQ127416682 ScholiaQ127416682MaRDI QIDQ1709697FDOQ1709697

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

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

zbMATH Keywords

metastabilityaxiom of choiceconstructive analysisCauchy condition

Mathematics Subject Classification ID

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

Cited In (1)

• 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)