On the search for a finitizable algebraization of first order logic
From MaRDI portal
Publication:4511602
DOI10.1093/jigpal/8.4.497zbMath0973.03008MaRDI QIDQ4511602
Publication date: 23 November 2001
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/025bd90666e81b22befc3e7aa6a2642ee64d522f
03B10: Classical first-order logic
03C05: Equational classes, universal algebra in model theory
03G15: Cylindric and polyadic algebras; relation algebras
20M30: Representation of semigroups; actions of semigroups on sets
Related Items
Omitting types for finite variable fragments and complete representations of algebras, Neat embeddings, omitting types, and interpolation: an overview, Epimorphisms in cylindric algebras and definability in finite variable logic, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Omitting types for algebraizable extensions of first order logic