On algebraically closed Krasner hyperfields

Autori

  • Alessandro Linzi University of Nova Gorica - Center for Information Technologies and Applied Mathematics

Parole chiave:

Krasner hyperfield, model theory, quantifier elimination, multioperation

Abstract

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

2025-12-07

Come citare

Linzi, A. (2025). On algebraically closed Krasner hyperfields. Italian Journal of Pure and Applied Mathematics, 54, 105–112. Recuperato da https://journals.uniurb.it/index.php/ijpam/article/view/5643

Fascicolo

Sezione

Articoli - Forum Editrice

Puoi leggere altri articoli dello stesso autore/i