On algebraically closed Krasner hyperfields
Parole chiave:
Krasner hyperfield, model theory, quantifier elimination, multioperationAbstract
In this short paper, we prove two negative results: the first order theory of algebraically closed Krasner hyperfields is neither complete nor substructure complete, the latter meaning that the theory does not admit quantifier elimination.
Downloads
Pubblicato
Come citare
Fascicolo
Sezione
Licenza
Copyright (c) 2025 Alessandro Linzi

TQuesto lavoro è fornito con la licenza Creative Commons Attribuzione 4.0 Internazionale.
L'opera è pubblicata sotto Licenza Creative Commons Attribuzione 4.0 Internazionale (CC-BY)

