Now showing items 1-1 of 1
Omitting Types in Fragments and Extensions of First Order Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-28)
Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for ...