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
PreviewAttachmentSize
37_2_6.pdf202.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

Login Powered by OpenScholar