Omitting Types in Fragments and Extensions of First Order Logic
Omitting Types in Fragments and Extensions of First Order Logic
Author(s): Tarek Sayed AhmedSubject(s): Logic
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: Algebraic logic;multimodal logic;omitting types;completions
Summary/Abstract: Fix 2< n <w. Let Ln 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 Ln and for infinitary variants and extensions of Lw,w.
Journal: Bulletin of the Section of Logic
- Issue Year: 50/2021
- Issue No: 3
- Page Range: 249-287
- Page Count: 39
- Language: English