Omitting Types in Fragments and Extensions of First Order Logic
| Autor: | Tarek Sayed Ahmed |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: | |
| Zdroj: | Bulletin of the Section of Logic, Vol 50, Iss 3, Pp 249-287 (2021) |
| Druh dokumentu: | article |
| ISSN: | 0138-0680 2449-836X |
| DOI: | 10.18778/0138-0680.2021.13 |
| Popis: | 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 infinitary variants and extensions of \(L_{\omega, \omega}\). |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|