Pages that link to "Item:Q5434201"
From MaRDI portal
The following pages link to An Omitting Types Theorem for first order logic with infinitary relation symbols (Q5434201):
Displayed 4 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Some results about neat reducts (Q992010) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- A note on substitutions in representable cylindric algebras (Q3632525) (← links)
