An omniscience principle, the König Lemma and the Hahn‐Banach theorem

DOI10.1002/MALQ.19900360307MaRDI QIDQ4733862zbMATH OpenOpenAlexWikidataFDO

Authors Hajime Ishihara

Publication date 1990

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

Hahn-Banach theoremcompact metric spaceBishop's constructive mathematicslesser limited principle of omniscienceKönig lemmapseudo Heine-Borel principle

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Recommendations

• The Hahn--Banach theorem as a principle of choice
• Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
• The Hahn-Banach Property and the Axiom of Choice
• Limited Omniscience and the Bolzano-Weierstrass Principle
• The Hahn-Banach theorem almost everywhere
• From the Farkas lemma to the Hahn-Banach theorem
• The Hahn-Banach theorem implies the Banach-Tarski paradox
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• scientific article; zbMATH DE number 7377989
• scientific article; zbMATH DE number 3105693

Cited in

(18)

• Continuous isomorphisms from R onto a complete abelian group
• Borel complexity and computability of the Hahn-Banach theorem
• Bishop-Style Constructive Reverse Mathematics
• Limited Omniscience and the Bolzano-Weierstrass Principle
• The computational content of Walras' existence theorem
• Unique solutions
• Basic subtoposes of the effective topos
• Omniscience principles and functions of bounded variation
• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics
• The Hahn-Banach theorem by disjunction elimination
• The binary expansion and the intermediate value theorem in constructive reverse mathematics
• Point-Free Spectra of Linear Spreads
• Effective Choice and Boundedness Principles in Computable Analysis
• On Farkas' lemma and related propositions in BISH
• The weak König lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• Toward a clarity of the extreme value theorem

This page was built for publication: An omniscience principle, the König Lemma and the Hahn‐Banach theorem

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