1 paper · 1 filter
Amador Martin-Pizarro, Martin Ziegler
A first-order theory is Noetherian with respect to the collection of formulae F if every definable set is a Boolean combination of instances of formulae in $\mathcal{F}…