Omitting Types in Fragments and Extensions of First Order Logic

Bulletin of the Section of Logic 50 (3):249-287 (2021)
  Copy   BIBTEX

Abstract

Fix \. Let \ 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 \ and for infinitary variants and extensions of \.

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.2021.13

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic.Tarek Sayed Ahmed - 2020 - Journal of Applied Non-Classical Logics 30 (3):223-271.
An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
Omitting types for finite variable fragments of first order logic.T. Sayed Ahmed - 2003 - Bulletin of the Section of Logic 32 (3):103-107.
Existence of Certain Finite Relation Algebras Implies Failure of Omitting Types for L n.Tarek Sayed Ahmed - 2020 - Notre Dame Journal of Formal Logic 61 (4):503-519.
Martin's axiom, omitting types, and complete representations in algebraic logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.
Omitting types for finite variable fragments and complete representations of algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed-Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
Omitting types algebraically and more about amalgamation for modal cylindric algebras.Tarek Sayed Ahmed - 2021 - Mathematical Logic Quarterly 67 (3):295-312.

Analytics

Added to PP
2021-05-29

Downloads
13 (#1,321,788)

6 months
8 (#583,676)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
Non-finite-axiomatizability results in algebraic logic.Balázs Biró - 1992 - Journal of Symbolic Logic 57 (3):832 - 843.

View all 10 references / Add more references