Pages that link to "Item:Q4338323"
From MaRDI portal
The following pages link to Step by step – Building representations in algebraic logic (Q4338323):
Displaying 21 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- On the representability of neatly embeddable CA's by cylindric relativized algebras (Q607464) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- Relation algebras of intervals (Q2171260) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Representability is not decidable for finite relation algebras (Q2701663) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- The polyadic generalization of the Boolean axiomatization of fields of sets (Q3116577) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- Rectangular games (Q4254698) (← links)
- Inequivalent representations of geometric relation algebras (Q4457734) (← links)
- Geometrical representation theorems for cylindric-type algebras (Q5215389) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
