Undecidability of the theory of finite nearfields
From MaRDI portal
Publication:1117270
DOI10.1007/BF03323236zbMath0667.12009MaRDI QIDQ1117270
Publication date: 1988
Published in: Results in Mathematics (Search for Journal in Brave)
12L05: Decidability and field theory
03B25: Decidability of theories and sets of sentences
12K05: Near-fields