On noetherianity for logical formulas over fields
Algebraic Geometry
2008-02-05 v1
Abstract
In this paper we consider noetherianity for formulas of propositional and predicate calculus over different fields. Three types of noetherianity are considered: standard noetherianity, logical noetherianity and denumerable noetherianity.
Keywords
Cite
@article{arxiv.0802.0211,
title = {On noetherianity for logical formulas over fields},
author = {Aivars Berzins},
journal= {arXiv preprint arXiv:0802.0211},
year = {2008}
}
Comments
5 pages