Pages that link to "Item:Q1863833"
From MaRDI portal
The following pages link to Martin's axiom, omitting types, and complete representations in algebraic logic (Q1863833):
Displaying 14 items.
- 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, omitting types, and interpolation: an overview (Q558739) (← links)
- Some results about neat reducts (Q992010) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- A note on neat reducts (Q2642524) (← links)
- Completions, complete representations and omitting types (Q2853715) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- (Q3593498) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- A modeltheoretic solution to a problem of Tarski (Q4530145) (← links)
- Geometrical representation theorems for cylindric-type algebras (Q5215389) (← links)
- Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)