The Hahn-Banach theorem by disjunction elimination
type: Item
instance of: scholarly article
title: The Hahn-Banach theorem by disjunction elimination
zbMATH Open document ID: 1480.03061
author: Konstantin Schlagbauer
author: Peter Schuster
author: Daniel Wessel
published in: Confluentes Mathematici
publication date: 2022-02-04T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 46S30
Mathematics Subject Classification ID: 06F20
zbMATH DE Number: 7469122
zbMATH Keywords: Hahn-Banach theorem
zbMATH Keywords: Scott entailment relations
zbMATH Keywords: conservative extension
zbMATH Keywords: constructive mathematics
MaRDI profile type: Publication
full work available at URL: cml.57
OpenAlex ID: W2972345389
cites work: Binary refinement implies discrete exponentiation
cites work: Q5591514
cites work: Q3803111
cites work: Q3754620
cites work: Techniques of constructive analysis
cites work: Q4944905
cites work: Q4247301
cites work: Two applications of Boolean models
cites work: Geometric Hahn-Banach theorem
cites work: Lattice-ordered groups generated by an ordered group and regular systems of ideals
cites work: Dynamical method in algebra: Effective Nullstellensätze
cites work: On constructing completions
cites work: Cellular covers of totally ordered abelian groups
cites work: Q4210469
cites work: On the Constructive Hahn-Banach Theorem
cites work: An omniscience principle, the König Lemma and the Hahn‐Banach theorem
cites work: Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
cites work: Algebraische und logistische Untersuchungen über freie Verbände
cites work: On the constructive Dedekind reals
cites work: A globalization of the Hahn-Banach theorem
cites work: The Hahn-Banach theorem: The life and times
cites work: Proof-theoretical analysis of order relations
cites work: An algorithmic approach to the existence of ideal objects in commutative algebra
cites work: A universal Krull-Lindenbaum theorem
cites work: ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
cites work: Eliminating disjunctions by disjunction elimination
cites work: Cut elimination for entailment relations
cites work: Q4553278
cites work: Q4340096
cites work: Some points in formal topology.
cites work: Q4202954
cites work: Q4079581
cites work: Q5537599
cites work: Q4159022
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Ordering groups constructively
cites work: Making the use of maximal ideals constructive
cites work: Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
Wikidata QID: Q127240152
DOI: 10.5802/CML.57
description: scientific article; zbMATH DE number 7469122