scientific article; zbMATH DE number 1747697

DOI10.1002/1521-3870(200204)48:3%3C343::AID-MALQ343%3E3.0.CO;2-4MaRDI QIDQ4530145zbMATH OpenFDO

Authors Tarek Sayed Ahmed

Publication date 24 July 2002

Full work available at URL https://doi.org/10.1002/1521-3870(200204)48:3%3C343::AID-MALQ343%3E3.0.CO;2-4

zbMATH Keywords

cylindric algebraselementary subalgebrasneat reducts

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• The class of neat reducts is not elementary
• A confirmation of a conjecture of Tarski
• scientific article; zbMATH DE number 67047
• Some results about neat reducts
• A note on neat reducts

Cites work

• Finitary Algebraic Logic
• Martin's axiom, omitting types, and complete representations in algebraic logic
• On neat reducts of algebras of logic
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Relation algebras from cylindric algebras. II

Cited in

(10)

• A.D. Taimanov and model theory in Kazakhstan
• A note on neat reducts
• Strong amalgamation in systems of varieties
• A confirmation of a conjecture of Tarski
• scientific article; zbMATH DE number 67047 (Why is no real title available?)
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs
• Algebraic Logic, Where Does it Stand Today?
• Neat embeddings, omitting types, and interpolation: an overview
• On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
• Some results about neat reducts

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530145)