Weakly representable atom structures that are not strongly representable, with an application to first order logic
From MaRDI portal
Publication:3506327
DOI10.1002/malq.200710038zbMath1141.03031MaRDI QIDQ3506327
Publication date: 12 June 2008
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710038
Related Items
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic, A brief history of Tarskian algebraic logic with new perspectives and innovations
Cites Work