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

DOI10.1002/MALQ.19900360307zbMATH Open0684.03024OpenAlexW2031766793WikidataQ124936274 ScholiaQ124936274MaRDI QIDQ4733862FDOQ4733862

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

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

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)

Cited In (17)

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

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)