Pages that link to "Item:Q1239727"
From MaRDI portal
The following pages link to On universal algebraic constructions of logics (Q1239727):
Displaying 13 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Measures on cylindric algebras (Q788718) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- Elementary classes in the injective subcategories approach to abstract model theory (Q1094414) (← links)
- Weak second order characterizations of various program verification systems (Q1124311) (← links)
- Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent (Q1169457) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- The contributions of Alfred Tarski to algebraic logic (Q3029010) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- On the number of generators of cylindric algebras (Q4722072) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)