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

DOI10.1002/malq.19900360307zbMath0684.03024OpenAlexW2031766793WikidataQ124936274 ScholiaQ124936274MaRDI QIDQ4733862

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)

Related Items (15)

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

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