Premium
The theory of integrally closed domains is not finitely axiomatizable
Author(s) -
Oman Greg
Publication year - 2015
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201400104
Subject(s) - integrally closed , mathematics , pure mathematics , finitely generated abelian group , algebraically closed field , discrete mathematics , mechanical engineering , engineering
It is well‐known that the theory of algebraically closed fields is not finitely axiomatizable. In this note, we prove that the theory of integrally closed integral domains is also not finitely axiomatizable.