Neat embeddings, omitting types, and interpolation: an overview (Q558739): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1091030854
+Normal rank
@@ Property / OpenAlex ID @@
+W2025979706
@@ Property / OpenAlex ID: W2025979706 / rank @@
+Normal rank
@@ Property / cites work @@
+Epimorphisms in cylindric algebras and definability in finite variable logic
+Normal rank
@@ Property / cites work @@
+On universal algebraic constructions of logics
@@ Property / cites work: On universal algebraic constructions of logics / rank @@
+Normal rank
@@ Property / cites work @@
+On systems of varieties definable by schemes of equations
+Normal rank
@@ Property / cites work @@
+Complexity of equations valid in algebras of relations. I: Strong non-finitizability
+Normal rank
@@ Property / cites work @@
+Non-finite-axiomatizability results in algebraic logic
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting types in incomplete theories
@@ Property / cites work: Omitting types in incomplete theories / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Persistence and atomic generation for varieties of Boolean algebras with operators
+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 @@
+On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b>
+Normal rank
@@ Property / cites work @@
+Complete representations in algebraic logic
@@ Property / cites work: Complete representations in algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Step by step – Building representations in algebraic logic
+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 by games
@@ Property / cites work: Relation algebras by games / 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 @@
+Relation algebra reducts of cylindric algebras and an application to proof theory
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Atom structures of cylindric algebras and relation algebras
+Normal rank
@@ Property / cites work @@
+Relation algebras and projective geometries
@@ Property / cites work: Relation algebras and projective geometries / rank @@
+Normal rank
@@ Property / cites work @@
+Nonfinite axiomatizability results for cylindric and relation algebras
+Normal rank
@@ Property / cites work @@
+Amalgamation and interpolation in normal modal logics
+Normal rank
@@ Property / cites work @@
+Nonfinitizability of classes of representable cylindric algebras
+Normal rank
@@ Property / cites work @@
+An introduction to cylindric set algebras
@@ Property / cites work: An introduction to cylindric set algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric-relativised set algebras have strong amalgamation
+Normal rank
@@ Property / cites work @@
+The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
+Normal rank
@@ Property / cites work @@
+Omitting types and the real line
@@ Property / cites work: Omitting types and the real line / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation, congruence-extension, and interpolation properties in algebras
+Normal rank
@@ Property / cites work @@
+On the search for a finitizable algebraization of first order logic
+Normal rank
@@ Property / cites work @@
+Finite schematizable algebraic logic
@@ Property / cites work: Finite schematizable algebraic logic / rank @@
+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 @@
+On amalgamation of reducts of polyadic algebras
@@ Property / cites work: On amalgamation of reducts of polyadic algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The class of neat reducts is not elementary
@@ Property / cites work: The class of neat reducts is not elementary / rank @@
+Normal rank
@@ Property / cites work @@
+The class of 2-dimensional neat reducts is not elementary
+Normal rank
@@ Property / cites work @@
+Martin's axiom, omitting types, and complete representations in algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4530145
@@ Property / cites work: Q4530145 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3433175
@@ Property / cites work: Q3433175 / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting types for algebraizable extensions of first order logic
+Normal rank
@@ Property / cites work @@
+Cylindric modal logic
@@ Property / cites work: Cylindric modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rectangular games
@@ Property / cites work: Rectangular games / rank @@
+Normal rank
@@ Property / cites work @@
+Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
+Normal rank