Weakly higher order cylindric algebras and finite axiomatization of the representables

DOI10.1007/S11225-009-9162-9zbMATH Open1173.03049OpenAlexW2085309765MaRDI QIDQ1005971FDOQ1005971

István Németi, András Simon

Publication date: 17 March 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9162-9

zbMATH Keywords

relation algebraalgebraic logicrepresentabilitycylindric algebrafinitization problemquasi-projections

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Cylindric algebras. Part II
• Some sufficient conditions for the representability of relation algebras
• Connections between quasi-projective relation algebras and cylindric algebras
• Representability of pairing relation algebras depends on your ontology
• A completeness theorem for higher order logics
• A non-representable cylindric algebra with pairing functions
• A Modal Logic for Quantification and Substitution
• Strong representability of fork algebras, a set theoretic foundation

Cited In (7)

• Non-standard stochastics with a first order algebraization
• A short proof of representability of fork algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• On the algebraization of Henkin‐type second‐order logic
• Title not available (Why is that?)
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs
• Complexity of equational theory of relational algebras with standard projection elements

This page was built for publication: Weakly higher order cylindric algebras and finite axiomatization of the representables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1005971)