11 citations · 11 across the 3 of their papers we have counts for
1 paper · 1 filter
Aivars Berzins
In this paper we consider noetherianity for formulas of propositional and predicate calculus over different fields. Three types of noetherianity are considered: standard noetherian…