Pages that link to "Item:Q4733862"
From MaRDI portal
The following pages link to An omniscience principle, the König Lemma and the Hahn‐Banach theorem (Q4733862):
Displaying 14 items.
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle (Q306581) (← links)
- Basic subtoposes of the effective topos (Q387125) (← links)
- The computational content of Walras' existence theorem (Q632841) (← links)
- Borel complexity and computability of the Hahn-Banach theorem (Q926175) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- On Farkas' lemma and related propositions in BISH (Q2067640) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- Unique solutions (Q3418084) (← links)
- Continuous isomorphisms from <b>R</b> onto a complete abelian group (Q4931099) (← links)
