Ordering groups constructively
Citations
16 citations
7 citations
Cites methods from "Ordering groups constructively"
...tion theorems with appropriate syntactic counterparts both sufficient for proofs of elementary statements and provable by elementary means. This method has proved possible in numerous different settings [5,6,21,22,34,44], and in the context of commutative algebra the so-called dynamical method is especially dominant [7,20,45,46].4 In dynamical algebra one deals with a supposed ideal object (such as a maximal ideal) o...
[...]
7 citations
6 citations
Cites background from "Ordering groups constructively"
...Mithilfe einer alternativen mehrwertigen Schlussrelation, mit welcher die Linearität der korrespondierenden Ordnung durch Hinzunahme von Axiomen ` a,−a für a 6= 0 erzwungen wird, lässt sich eine konstruktive Version des Satzes von Levi erzielen, welche die Inkonsistenz besagter Schlussrelation genau durch die Existenz eines nichttrivialen Torsionselements charakterisiert [46]....
[...]
References
1,915 citations
1,139 citations
"Ordering groups constructively" refers background in this paper
...For sake of comparison, let us briefly recall one of the well-known classical arguments for Levi’s theorem [28, 40]....
[...]
...We put on record that an ideal element a of ‘ is nothing but the positive cone for a strict linear order < of G that is compatible with the group structure—given a, such an order can be obtained by stipulating [13, 28] a< ab a (1)b 2 a: Indeed, irreflexivity is due to e 62 a, transitivity of < a follows from single-valuedness (s) and multiplicativity (m), and linearity, i....
[...]
...The well-known classical orderability criterion for groups [28, 46, 50] follows from Corollary 3....
[...]
...Then, in Section 3, we study the entailment relation of positive cone of a group, and give a constructive version of the well-known orderability test for groups [28], the contrapositive of which in fact provides the formal Nullstellensatz, i....
[...]
...In particular, our approach does not require us to put forward arguments involving an abstract order conceived as a completed totality—more often than not, the existence of which is intimately linked with a suitable form of the axiom of choice [28, 35]....
[...]
602 citations
462 citations
452 citations