Dr. Tarek Sayed Ahmed
Professor of Mathematics
(email)
Omitting types for fragments and extensions of first order logic
View
What links here
Citation:
Ahmed, T. S., "Omitting types for fragments and extensions of first order logic", Bulletin Section of Logic, vol. 50, issue 3, pp. 249-267, 2021.
Export
RTF
Tagged
XML
BibTex
Google Scholar
Preview
Attachment
Size
9884-article_text-25744-2-10-20211028.pdf
683.81 KB
Publications
Bio
Classes
Recent Publications
Omitting types algebraicaly and more about amalgmation for modal cylindric algebras
On complete representations and minimal completions for cylindric like algebras-both positive and negative results
Omitting types for fragments and extensions of first order logic
Finite combinatorics and omitting types for multi-moal logic
Blow up and blur constructions in algebraic logic
more