Finite schematizable algebraic logic
DOI10.1093/JIGPAL/5.5.699zbMATH Open0886.03044OpenAlexW1970210230MaRDI QIDQ4357323FDOQ4357323
Authors: Ildikó Sain, Viktor Gyuris 
Publication date: 25 September 1997
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/09232ebd47897ef57c55d54d070a4ac48c774292
Recommendations
representable cylindric algebrasnon-axiomatizabilityfinitary algebraization of first order logicfinite schemafinite schema axiomatizable classes of algebrasrepresentable quasi-polyadic algebras
Cited In (19)
- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- A short proof of representability of fork algebras
- Finite sum-product logic
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- Varieties of algebras without the amalgamation property
- An omitting types theorem in finite schematizable algebraic logic
- Omitting types for finite variable fragments and complete representations of algebras
- Neat embeddings, omitting types, and interpolation: an overview
- Title not available (Why is that?)
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
- Non-finite-axiomatizability results in algebraic logic
- On the search for a finitizable algebraization of first order logic
- How many varieties of cylindric algebras are there
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the nonaxiomatizability of some logics by finitely many schemas
- Finitary Algebraic Logic
- Omitting types for algebraizable extensions of first order logic
This page was built for publication: Finite schematizable algebraic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4357323)
