The Hahn-Banach theorem by disjunction elimination

DOI10.5802/CML.57zbMATH Open1480.03061OpenAlexW2972345389WikidataQ127240152 ScholiaQ127240152MaRDI QIDQ2074035FDOQ2074035

Authors: Konstantin Schlagbauer, Peter Schuster, Daniel Wessel 

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

Recommendations

• scientific article; zbMATH DE number 5268935
• A globalization of the Hahn-Banach theorem
• The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem
• scientific article; zbMATH DE number 2019830
• The Hahn--Banach theorem as a principle of choice

zbMATH Keywords

Hahn-Banach theoremconstructive mathematicsconservative extensionScott entailment relations

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Other constructive mathematics (03F65) Constructive functional analysis (46S30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A globalization of the Hahn-Banach theorem
• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Techniques of constructive analysis
• Some points in formal topology.
• A universal Krull-Lindenbaum theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem
• Title not available (Why is that?)
• Making the use of maximal ideals constructive
• Dynamical method in algebra: Effective Nullstellensätze
• On the constructive Dedekind reals
• On the Constructive Hahn-Banach Theorem
• The Hahn-Banach theorem: The life and times
• Proof-theoretical analysis of order relations
• Algebraische und logistische Untersuchungen über freie Verbände
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• On constructing completions
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• Cellular covers of totally ordered abelian groups
• Binary refinement implies discrete exponentiation
• Two applications of Boolean models
• Eliminating disjunctions by disjunction elimination
• Eliminating disjunctions by disjunction elimination
• Geometric Hahn-Banach theorem
• An algorithmic approach to the existence of ideal objects in commutative algebra
• Title not available (Why is that?)
• Extension by conservation. Sikorski's theorem
• Title not available (Why is that?)
• Cut elimination for entailment relations
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Ordering groups constructively

Cited In (6)

• Towards formal Baer criteria
• The computational significance of Hausdorff's maximal chain principle
• A universal algorithm for Krull's theorem
• A general Glivenko-Gödel theorem for nuclei
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Eliminating disjunctions by disjunction elimination

This page was built for publication: The Hahn-Banach theorem by disjunction elimination

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