Ordering groups constructively

DOI10.1080/00927872.2018.1477947zbMath1468.03079OpenAlexW2971272990MaRDI QIDQ5238136

Daniel Wessel

Publication date: 28 October 2019

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927872.2018.1477947

zbMATH Keywords

constructive mathematicsordered groupsentailment relations

Mathematics Subject Classification ID

Ordered groups (06F15) Other constructive mathematics (03F65)

Related Items

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, A universal algorithm for Krull's theorem, Cut elimination for entailment relations, The Hahn-Banach theorem by disjunction elimination, Maximal ideals in countable rings, constructively

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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finitary formal topologies and Stone's representation theorem
• Isolated points in the space of left orderings of a group
• On the constructive Dedekind reals
• A course in constructive algebra
• Some points in formal topology.
• Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21--26, 2000. Proceedings
• Proof theory and ordered groups
• Eliminating disjunctions by disjunction elimination
• A discrete variant of Farkas' lemma
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II
• Valuations and Dedekind's Prague theorem
• A syntactical proof of the Marriage Lemma.
• Remarks on the Scott-Lindenbaum theorem
• Cut elimination for entailment relations
• Ordering groups and validity in lattice-ordered groups
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Abelian groups without elements of finite order
• Teilbarkeitstheorie in Bereichen
• Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
• Lattice Theory: Foundation
• Ordered groups and topology
• Geometric Hahn-Banach theorem
• TOPOLOGY ON THE SPACES OF ORDERINGS OF GROUPS
• Convergence in formal topology: a unifying notion
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
• Algebraische und logistische Untersuchungen über freie Verbände
• Über halbgeordnete Gruppen
• The fundamental theorem of algebra: a constructive development without choice.
• Dynamical method in algebra: Effective Nullstellensätze