Pages that link to "Item:Q1109770"
From MaRDI portal
The following pages link to Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem (Q1109770):
Displaying 3 items.
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)
- A Note on Applications of the Löwenheim-Skolem-Theorem in General Topology (Q3833227) (← links)
- Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1. (Q4644543) (← links)