Martin's axiom, omitting types, and complete representations in algebraic logic

DOI10.1023/A:1021368713305zbMath1019.03047OpenAlexW1544936696MaRDI QIDQ1863833

Tarek Sayed Ahmed

Publication date: 12 March 2003

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021368713305

zbMATH Keywords

algebraic logicMartin's axiomneat embeddingsneat reductsomitting typescylindric algebracomplete representations

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Cylindric and polyadic algebras; relation algebras (03G15) Model-theoretic forcing (03C25)

Related Items (9)

A note on neat reducts ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ The class of completely representable polyadic algebras of infinite dimensions is elementary ⋮ Unnamed Item ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Some results about neat reducts ⋮ Strongly representable atom structures of cylindric algebras ⋮ Omitting types for algebraizable extensions of first order logic ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic

This page was built for publication: Martin's axiom, omitting types, and complete representations in algebraic logic