Ordering groups constructively
From MaRDI portal
Publication:5238136
DOI10.1080/00927872.2018.1477947zbMath1468.03079OpenAlexW2971272990MaRDI QIDQ5238136
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
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