Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108): Difference between revisions

@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of equations valid in algebras of relations. I: Strong non-finitizability
+Normal rank
@@ Property / cites work @@
+Epimorphisms in cylindric algebras and definability in finite variable logic
+Normal rank
@@ Property / cites work @@
+Q3998034
@@ Property / cites work: Q3998034 / rank @@
+Normal rank
@@ Property / cites work @@
+On the number of generators of cylindric algebras
@@ Property / cites work: On the number of generators of cylindric algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789455
@@ Property / cites work: Q4789455 / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting types for finite variable fragments and complete representations of algebras
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824680
@@ Property / cites work: Q5824680 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension
+Normal rank
@@ Property / cites work @@
+Classes without the amalgamation property
@@ Property / cites work: Classes without the amalgamation property / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Theory for Cylindric Algebras and its Applications
+Normal rank
@@ Property / cites work @@
+Freedom in polyadic algebras and two theorems of Beth and Craig
+Normal rank
@@ Property / cites work @@
+On Cylindric Algebras Satisfying Merry-go-round Properties
+Normal rank
@@ Property / cites work @@
+Finitary polyadic algebras from cylindric algebras
+Normal rank
@@ Property / cites work @@
+How to define a linear order on finite models
@@ Property / cites work: How to define a linear order on finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Provability with Finitely Many Variables
@@ Property / cites work: Provability with Finitely Many Variables / rank @@
+Normal rank
@@ Property / cites work @@
+The \(k\)-variable property is stronger than H-dimension \(k\)
+Normal rank
@@ Property / cites work @@
+Algebraic characterizations of various Beth definability properties
+Normal rank
@@ Property / cites work @@
+Interpolation and definability in guarded fragments
+Normal rank
@@ Property / cites work @@
+Q4938431
@@ Property / cites work: Q4938431 / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation of Polyadic Algebras
@@ Property / cites work: Amalgamation of Polyadic Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342632
@@ Property / cites work: Q3342632 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and amalgamation; pushing the limits. I
+Normal rank
@@ Property / cites work @@
+Interpolation and amalgamation; pushing the limits. II
+Normal rank
@@ Property / cites work @@
+Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
+Normal rank
@@ Property / cites work @@
+Amalgamation, interpolation and epimorphisms in algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4696006
@@ Property / cites work: Q4696006 / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation in relation algebras
@@ Property / cites work: Amalgamation in relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relativized relation algebras
@@ Property / cites work: Relativized relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Failure of interpolation in combined modal logics
@@ Property / cites work: Failure of interpolation in combined modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation in finite dimensional cylindric algebras
+Normal rank
@@ Property / cites work @@
+Cylindric-relativised set algebras have strong amalgamation
+Normal rank
@@ Property / cites work @@
+On the chromatic number of certain highly symmetric graphs
+Normal rank
@@ Property / cites work @@
+Amalgamation, congruence-extension, and interpolation properties in algebras
+Normal rank
@@ Property / cites work @@
+A completeness theorem for higher order logics
@@ Property / cites work: A completeness theorem for higher order logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273484
@@ Property / cites work: Q4273484 / rank @@
+Normal rank
@@ Property / cites work @@
+On the search for a finitizable algebraization of first order logic
+Normal rank
@@ Property / cites work @@
+Q4011731
@@ Property / cites work: Q4011731 / rank @@
+Normal rank
@@ Property / cites work @@
+On amalgamation of reducts of polyadic algebras
@@ Property / cites work: On amalgamation of reducts of polyadic algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Martin's axiom, omitting types, and complete representations in algebraic logic
+Normal rank
@@ Property / cites work @@
+Isomorphisms of finite cylindric set algebras of characteristic zero
+Normal rank
@@ Property / cites work @@
+Saturatedness in cylindric algebraic model theory
@@ Property / cites work: Saturatedness in cylindric algebraic model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank