Ordering groups constructively
From MaRDI portal
Recommendations
Cites work
- A course in constructive algebra
- A discrete variant of Farkas' lemma
- A syntactical proof of the Marriage Lemma.
- Abelian groups without elements of finite order
- Algebraische und logistische Untersuchungen über freie Verbände
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21--26, 2000. Proceedings
- Convergence in formal topology: a unifying notion
- Cut elimination for entailment relations
- Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
- Dynamical method in algebra: Effective Nullstellensätze
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions by disjunction elimination
- Extension by conservation. Sikorski's theorem
- Finitary formal topologies and Stone's representation theorem
- Geometric Hahn-Banach theorem
- scientific article; zbMATH DE number 2184445 (Why is no real title available?)
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 42239 (Why is no real title available?)
- scientific article; zbMATH DE number 3497860 (Why is no real title available?)
- scientific article; zbMATH DE number 1201510 (Why is no real title available?)
- scientific article; zbMATH DE number 3435458 (Why is no real title available?)
- scientific article; zbMATH DE number 937390 (Why is no real title available?)
- scientific article; zbMATH DE number 1420837 (Why is no real title available?)
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- scientific article; zbMATH DE number 3073087 (Why is no real title available?)
- scientific article; zbMATH DE number 3091871 (Why is no real title available?)
- scientific article; zbMATH DE number 3099436 (Why is no real title available?)
- Intuitionistic set theory
- Isolated points in the space of left orderings of a group
- Lattice Theory: Foundation
- On the constructive Dedekind reals
- Ordered groups and topology
- Ordering groups and validity in lattice-ordered groups
- Proof theory and ordered groups
- Remarks on the Scott-Lindenbaum theorem
- Some points in formal topology.
- Teilbarkeitstheorie in Bereichen
- The fundamental theorem of algebra: a constructive development without choice.
- The mathematics of logic. A guide to completeness theorems and their applications
- TOPOLOGY ON THE SPACES OF ORDERINGS OF GROUPS
- Untersuchungen über das logische Schliessen. I
- Untersuchungen über das logische Schliessen. II
- Valuations and Dedekind's Prague theorem
- Über halbgeordnete Gruppen
Cited in
(20)- Proof theory and ordered groups
- The Hahn-Banach theorem by disjunction elimination
- Maximal ideals in countable rings, constructively
- Cut elimination for entailment relations
- A universal algorithm for Krull's theorem
- scientific article; zbMATH DE number 1885201 (Why is no real title available?)
- Coherent Products in a Finite Group along a Linear Ordering
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Ordering Garside groups
- A general Glivenko-Gödel theorem for nuclei
- Conservation as translation
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
This page was built for publication: Ordering groups constructively
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5238136)
