The Hahn-Banach theorem by disjunction elimination
From MaRDI portal
Publication:2074035
DOI10.5802/cml.57zbMath1480.03061OpenAlexW2972345389WikidataQ127240152 ScholiaQ127240152MaRDI QIDQ2074035
Peter M. Schuster, Daniel Wessel, Konstantin Schlagbauer
Publication date: 4 February 2022
Published in: Confluentes Mathematici (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.5802/cml.57
Other constructive mathematics (03F65) Constructive functional analysis (46S30) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (4)
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ Towards formal Baer criteria ⋮ The computational significance of Hausdorff's maximal chain principle
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A universal Krull-Lindenbaum theorem
- Proof-theoretical analysis of order relations
- Techniques of constructive analysis
- Binary refinement implies discrete exponentiation
- On the constructive Dedekind reals
- Two applications of Boolean models
- A globalization of the Hahn-Banach theorem
- Constructivism in mathematics. An introduction. Volume I
- The Hahn-Banach theorem: The life and times
- Some points in formal topology.
- Eliminating disjunctions by disjunction elimination
- An algorithmic approach to the existence of ideal objects in commutative algebra
- Cut elimination for entailment relations
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Making the use of maximal ideals constructive
- Cellular covers of totally ordered abelian groups
- Geometric Hahn-Banach theorem
- On the Constructive Hahn-Banach Theorem
- An omniscience principle, the König Lemma and the Hahn‐Banach theorem
- Ordering groups constructively
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
- On constructing completions
- Algebraische und logistische Untersuchungen über freie Verbände
- Dynamical method in algebra: Effective Nullstellensätze
This page was built for publication: The Hahn-Banach theorem by disjunction elimination
