Pages that link to "Item:Q4508267"
From MaRDI portal
The following pages link to A completeness theorem for higher order logics (Q4508267):
Displayed 7 items.
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- 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)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- On the algebraization of Henkin‐type second‐order logic (Q6094141) (← links)