Pages that link to "Item:Q4508267"
From MaRDI portal
The following pages link to A completeness theorem for higher order logics (Q4508267):
Displayed 4 items.
- Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)