Pages that link to "Item:Q4879910"
From MaRDI portal
The following pages link to Omitting types in incomplete theories (Q4879910):
Displayed 5 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- An Extension of the Lemma of Rasiowa and Sikorski (Q4224084) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)