Unique existence, approximate solutions, and countable choice.

DOI10.1016/S0304-3975(02)00707-7zbMath1050.03042MaRDI QIDQ1427789

Peter M. Schuster

Publication date: 14 March 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

connectednessconvexityconstructive mathematicscountable choicestrong continuityintermediate values

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Connected and locally connected spaces (general aspects) (54D05) Convexity of real functions in one variable, generalizations (26A51) Monotonic functions, generalizations (26A48) Constructive real analysis (26E40) Axiom of choice and related propositions (03E25)

Related Items (5)

The intermediate value theorem in constructive mathematics without choice ⋮ Near convexity, metric convexity, and convexity ⋮ The Dedekind reals in abstract Stone duality ⋮ Problems, solutions, and completions ⋮ Strong continuity implies uniform sequential continuity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Continuity of monotone functions
• Constructivism in mathematics. An introduction. Volume I
• Constructive mathematics: a foundation for computable analysis
• Some points in formal topology.
• The continuum as a formal space
• Apartness spaces as a framework for constructive topology
• Linear independence without choice
• A Constructive Uniform Continuity Theorem
• Intuitionism As Generalization
• Constructive continuity
• A General Constructive Intermediate Value Theorem
• LOCATEDNESS, CONVEXITY, AND LEBESGUE MEASURABILITY
• Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice
• Concepts of general topology in constructive mathematics and in sheaves, II
• Continuity and nondiscontinuity in constructive mathematics
• Axiom of Choice and Complementation
• Connectivity of an Interval
• Choice Implies Excluded Middle
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories
• A weak countable choice principle
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• A Constructive Look at Generalised Cauchy Reals
• Sequential Continuity of Functions in Constructive Analysis
• The fundamental theorem of algebra: a constructive development without choice.
• Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999

This page was built for publication: Unique existence, approximate solutions, and countable choice.