Pages that link to "Item:Q2853715"
From MaRDI portal
The following pages link to Completions, complete representations and omitting types (Q2853715):
Displaying 12 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- The class of completely representable polyadic algebras of infinite dimensions is elementary (Q485109) (← links)
- Models omitting given complete types (Q1049741) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- (Q3086771) (← links)
- Omitting types in logic of metric structures (Q4562435) (← links)
- Model completions and omitting types (Q4842638) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← 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)
