Constructively Complete Finite Sets

DOI10.1002/MALQ.19880340202MaRDI QIDQ3030826zbMATH OpenOpenAlexFDO

Authors Mark Mandelkern

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19880340202

zbMATH Keywords

metric spaceCauchy sequencecompletenesscontinuousMarkov's Principlefinite set of real numbersalmost positive real numberpseudo-positive real number

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Recommendations

• Markov's principle, Church's thesis and Lindelöf's theorem
• Continuity and nondiscontinuity in constructive mathematics
• Completeness: when enough is enough
• On constructing completions
• On the Cauchy completeness of the constructive Cauchy reals

Cited in

(16)

• Constructive sets in computable sets
• Completeness: when enough is enough
• On Brouwer's continuity principle
• Strongly extensional homomorphism of implicative semigroups with apartness
• Constructions of complete sets
• EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
• Some principles weaker than Markov's principle
• Bishop-Style Constructive Reverse Mathematics
• Constructing finite sets from their representation functions
• Markov's principle, Church's thesis and Lindelöf's theorem
• Continuity and nondiscontinuity in constructive mathematics
• Effective Choice and Boundedness Principles in Computable Analysis
• Finite-tight sets
• On the ^0_1-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis
• Separating fragments of WLEM, LPO, and MP
• Continuity properties in constructive mathematics

This page was built for publication: Constructively Complete Finite Sets

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