scientific article; zbMATH DE number 1747697

DOI<343::AID-MALQ343>3.0.CO;2-4 10.1002/1521-3870(200204)48:3<343::AID-MALQ343>3.0.CO;2-4zbMath1002.03056MaRDI QIDQ4530145

Tarek Sayed Ahmed

Publication date: 24 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cylindric algebrasneat reductselementary subalgebras

Mathematics Subject Classification ID

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

Related Items (7)

A note on neat reducts ⋮ On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Some results about neat reducts ⋮ Strong Amalgamation in Systems of Varieties ⋮ Algebraic Logic, Where Does it Stand Today?

Cites Work

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

This page was built for publication: