Publications > Preprint server > Preprint Number 2611
Preprint Number 2611
2611. Enrico Savi On the first-order theories of quaternions and octonions E-mail: Submission date: 7 April 2024 Abstract: Let L be the language of rings. We provide an axiomatization of the L-theories of quaternions and octonions and we characterize the models of mentioned theories: they coincide, up to isomorphism, to quaternion and octonion algebras over a real closed field, respectively. We prove these theories are complete, model complete and they do not have quantifier elimination. Then, we focus on the class of ordered polynomials. Over ℍ and 𝕆 these polynomials are of special interest in hypercomplex analysis slice they are slice regular. We deduce some fundamental properties of the zero locus of ordered polynomials from completeness and we prove the failure of qantifier elimination for the fragment of ordered formulas as well. Mathematics Subject Classification: 03C10, 03C98 (Primary), 16K20, 17A35, 30G35, 14P10 (Secondary) Keywords and phrases: |
Last updated: April 22 2024 20:39 | Please send your corrections to: |