Pages that link to "Item:Q4532609"

The following pages link to Relation algebra reducts of cylindric algebras and an application to proof theory (Q4532609):

Displaying 21 items.

• Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras (Q271687) (← links)
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
• Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
• The calculus of relations as a foundation for mathematics (Q877838) (← links)
• Some results about neat reducts (Q992010) (← links)
• Subcompletions of representable relation algebras (Q1652851) (← links)
• A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
• A note on neat reducts (Q2642524) (← links)
• The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions (Q2921030) (← links)
• Polyadic and cylindric algebras of sentences (Q3419666) (← links)
• A Neat Embedding Theorem for Expansions of Cylindric Algebras (Q3442401) (← links)
• A note on substitutions in representable cylindric algebras (Q3632525) (← links)
• Boolean Reducts of Relation and Cylindric Algebras and the Cube Problem (Q3772219) (← links)
• A modeltheoretic solution to a problem of Tarski (Q4530145) (← links)
• Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
• FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
• Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)
• Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
• Relation algebras from cylindric algebras. I (Q5956889) (← links)
• Relation algebras from cylindric algebras. II (Q5956890) (← links)
• Applied neat reducts on some classes of algebras (Q6067741) (← links)