Omitting types for finite variable fragments and complete representations of algebras (Q5387302): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2031667755
@@ Property / OpenAlex ID: W2031667755 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on algebras of substitutions
@@ Property / cites work: A note on algebras of substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 1.
@@ Property / cites work: Handbook of philosophical logic. Vol. 1. / rank @@
+Normal rank
@@ Property / cites work @@
+Finite schematizable algebraic logic
@@ Property / cites work: Finite schematizable algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completions of B<scp>OOLEAN</scp> Algebras with operators
+Normal rank
@@ Property / cites work @@
+Amalgamation, interpolation and epimorphisms in algebraic logic
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Atom structures of cylindric algebras and relation algebras
+Normal rank
@@ Property / cites work @@
+Relation algebra reducts of cylindric algebras and an application to proof theory
+Normal rank
@@ Property / cites work @@
+Strongly representable atom structures of relation algebras
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras from cylindric algebras. II
@@ Property / cites work: Relation algebras from cylindric algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras from cylindric algebras. I
@@ Property / cites work: Relation algebras from cylindric algebras. I / rank @@
+Normal rank
@@ Property / cites work @@
+Complete representations in algebraic logic
@@ Property / cites work: Complete representations in algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between quasi-projective relation algebras and cylindric algebras
+Normal rank
@@ Property / cites work @@
+On neat reducts of algebras of logic
@@ Property / cites work: On neat reducts of algebras of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5850527
@@ Property / cites work: Q5850527 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Logic, Where Does it Stand Today?
@@ Property / cites work: Algebraic Logic, Where Does it Stand Today? / rank @@
+Normal rank
@@ Property / cites work @@
+On Preservation Theorems for Two-Variable Logic
@@ Property / cites work: On Preservation Theorems for Two-Variable Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Neat embeddings, omitting types, and interpolation: an overview
+Normal rank
@@ Property / cites work @@
+On the search for a finitizable algebraization of first order logic
+Normal rank