Problems as Solutions

DOI10.1007/978-3-540-73001-9_72MaRDI QIDQ5425372zbMATH OpenOpenAlexFDO

Authors Peter Schuster

Publication date 13 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73001-9_72

zbMATH Keywords

metric spacescompletenessconstructive mathematicsuniform continuitycountable choiceunique existence

Mathematics Subject Classification ID

Complete metric spaces (54E50) Axiom of choice and related propositions (03E25) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• Problems, solutions, and completions
• Unique solutions
• scientific article; zbMATH DE number 2152236
• Unique existence, approximate solutions, and countable choice.
• Fixed point theorems in constructive mathematics

Cited in

(3)

• Completeness: when enough is enough
• Unique solutions
• Problems, solutions, and completions

This page was built for publication: Problems as Solutions

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