On noetherianity for logical formulas over fields

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.

5 pages

References in corpus (1)

• Algebraic Logic, Varieties of Algebras and Algebraic Varieties