The free non-commutative cylindric algebras are not atomic

DOI10.1093/jigpal/jzw058zbMath1492.03023arXiv1511.05221OpenAlexW3101556240MaRDI QIDQ5095624

Mohamed Khaled

Publication date: 10 August 2022

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

Full work available at URL: https://arxiv.org/abs/1511.05221

zbMATH Keywords

decidabilityalgebraic logicdisjunctive normal formsGödel's incompleteness propertiesnon-atomicity of the free algebrasnon-commutative cylindric algebrasnon-permutable first-order logic

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (5)

A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ First order logic without equality on relativized semantics ⋮ Varieties generated by completions ⋮ Atoms in infinite dimensional free sequence-set algebras

This page was built for publication: The free non-commutative cylindric algebras are not atomic