Axiomatizes the first-order theories of quaternions and octonions over the ring language, characterizes models as algebras over real closed fields, proves model completeness without quantifier elimination, and describes algebraic sets arising from ordered polynomials.
Springer-Verlag, Berlin, 1987, pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.AG 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On the first-order theories of quaternions and octonions
Axiomatizes the first-order theories of quaternions and octonions over the ring language, characterizes models as algebras over real closed fields, proves model completeness without quantifier elimination, and describes algebraic sets arising from ordered polynomials.