On algebraically closed Krasner hyperfields
Keywords:
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
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 Alessandro Linzi

This work is licensed under a Creative Commons Attribution 4.0 International License.
L'opera è pubblicata sotto Licenza Creative Commons Attribuzione 4.0 Internazionale (CC-BY)

