On a theorem of Vaught for first order logic with finitely many variables

DOI10.3166/JANCL.19.97-112zbMath1197.03036MaRDI QIDQ3647292

Tarek Sayed Ahmed

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

zbMATH Keywords

model theoryalgebraic logicgames on graphspolyadic algebrasVaught's theorem

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Basic properties of first-order languages and structures (03C07)

Cites Work

• Cylindric algebras. Part II
• Model theory.
• Modal languages and bounded fragments of predicate logic
• On the existence of atomic models
• Algebraic Logic, Where Does it Stand Today?

This page was built for publication: On a theorem of Vaught for first order logic with finitely many variables