Pages that link to "Item:Q4372908"
From MaRDI portal
The following pages link to Complete representations in algebraic logic (Q4372908):
Displaying 34 items.
- Completely representable lattices (Q422347) (← links)
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- The class of completely representable polyadic algebras of infinite dimensions is elementary (Q485109) (← links)
- Neat embeddings as adjoint situations (Q514575) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Some results about neat reducts (Q992010) (← links)
- On complete representations of reducts of polyadic algebras (Q1005935) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Functionally dense relation algebras (Q1762473) (← links)
- A representation theorem for measurable relation algebras (Q1791048) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- Difference-restriction algebras of partial functions with operators: discrete duality and completion (Q2136931) (← links)
- Difference-restriction algebras of partial functions: axiomatisations and representations (Q2153921) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← 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)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- On axiomatising products of Kripke frames (Q4508270) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
- Blow Up and Blur Constructions in Algebraic Logic (Q5015978) (← 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)
- Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)
- Notions of representability for cylindric algebras: some algebras are more representable than others (Q6155552) (← links)
- Complete representation by partial functions for signatures containing antidomain restriction (Q6660942) (← links)
