On atomicity of free algebras in certain cylindric-like varieties

DOI10.1093/jigpal/jzp098zbMath1216.03067OpenAlexW2035012398MaRDI QIDQ3081239

Zalán Gyenis

Publication date: 7 March 2011

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/714d8c9f022d431078d24c9e65e0ab5ba9c11487

zbMATH Keywords

polyadic algebrasatomic free algebrasGödel's incompleteness propertysubstitutional algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (4)

The finitely axiomatizable complete theories of non-associative arrow frames ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ First order logic without equality on relativized semantics ⋮ Atoms in infinite dimensional free sequence-set algebras

This page was built for publication: On atomicity of free algebras in certain cylindric-like varieties