Dr. Tarek Sayed Ahmed
Professor of Mathematics
(email)
RaCA_n is not elementary for n\geq 5
View
What links here
Citation:
Ahmed, T. S., "RaCA_n is not elementary for n\geq 5", Bulletin section of Logic, vol. 37, issue 2, pp. 123-136, 2008.
Export
RTF
Tagged
XML
BibTex
Google Scholar
Preview
Attachment
Size
37_2_6.pdf
202.57 KB
Publications
Bio
Classes
Recent Publications
Atomicity of free algebras and G\"odel's first incompleteness Theorem: Part2: The incompleteness Theorem algebraically for L_n and its guarded versions; non atomicity of the free algebras
\title{Atomicity of free algebras and G\"odel's first incompleteness Theorem\\ {\it Part 1, Diagonilazation and self reference; from the Liar paradox to G\"odel'e incompletenes Theorem and Hilbert's Tenth
Degrees of representability for cylindric algebras--some algebras are more representable then others
Omitting types for modal cylindric algebras
Atom canonicity, finite axiomatizability and complete representations in algebras of relations
more