The Hahn-Banach theorem by disjunction elimination

DOI10.5802/CML.57MaRDI QIDQ2074035zbMATH OpenOpenAlexWikidataFDO

Authors Konstantin Schlagbauer, Peter Schuster, Daniel Wessel

Publication date 4 February 2022

Published in Confluentes Mathematici (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.5802/cml.57

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)

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

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 408809 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 1302057 (Why is no real title available?)
• scientific article; zbMATH DE number 1022519 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3310901 (Why is no real title available?)
• A globalization of the Hahn-Banach theorem
• A universal Krull-Lindenbaum theorem
• Algebraische und logistische Untersuchungen über freie Verbände
• An algorithmic approach to the existence of ideal objects in commutative algebra
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem
• Binary refinement implies discrete exponentiation
• Cellular covers of totally ordered abelian groups
• 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
• Constructivism in mathematics. An introduction. Volume I
• Cut elimination for entailment relations
• Dynamical method in algebra: Effective Nullstellensätze
• Eliminating disjunctions by disjunction elimination
• Eliminating disjunctions by disjunction elimination
• Extension by conservation. Sikorski's theorem
• Geometric Hahn-Banach theorem
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Making the use of maximal ideals constructive
• On constructing completions
• On the Constructive Hahn-Banach Theorem
• On the constructive Dedekind reals
• Ordering groups constructively
• Proof-theoretical analysis of order relations
• Some points in formal topology.
• Techniques of constructive analysis
• The Hahn-Banach theorem: The life and times
• Two applications of Boolean models

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)