New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159): Difference between revisions

@@ Property / cites work @@
+The class of 2-dimensional neat reducts is not elementary
+Normal rank
@@ Property / cites work @@
+Q4530145
@@ Property / cites work: Q4530145 / rank @@
+Normal rank
@@ Property / cites work @@
+Martin's axiom, omitting types, and complete representations in algebraic logic
+Normal rank
@@ Property / cites work @@
+Neat embeddings, omitting types, and interpolation: an overview
+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 @@
+Algebraic Logic, Where Does it Stand Today?
@@ Property / cites work: Algebraic Logic, Where Does it Stand Today? / rank @@
+Normal rank
@@ Property / cites work @@
+Independence Results in Algebraic Logic
@@ Property / cites work: Independence Results in Algebraic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
+Normal rank
@@ Property / cites work @@
+An Interpolation Theorem for First Order Logic with Infinitary Predicates
+Normal rank
@@ Property / cites work @@
+A note on neat reducts
@@ Property / cites work: A note on neat reducts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411403
@@ Property / cites work: Q5411403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618746
@@ Property / cites work: Q3618746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618753
@@ Property / cites work: Q3618753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411428
@@ Property / cites work: Q5411428 / rank @@
+Normal rank
@@ Property / cites work @@
+The class of polyadic algebras has the super amalgamation property
+Normal rank
@@ Property / cites work @@
+Q3104125
@@ Property / cites work: Q3104125 / rank @@
+Normal rank
@@ Property / cites work @@
+Some results about neat reducts
@@ Property / cites work: Some results about neat reducts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3650859
@@ Property / cites work: Q3650859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2853711
@@ Property / cites work: Q2853711 / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation, interpolation and epimorphisms in algebraic logic
+Normal rank
@@ Property / cites work @@
+Q2853715
@@ Property / cites work: Q2853715 / rank @@
+Normal rank
@@ Property / cites work @@
+Epimorphisms are not surjective, even in simple algebras
+Normal rank
@@ Property / cites work @@
+Three interpolation theorems for typeless logics
@@ Property / cites work: Three interpolation theorems for typeless logics / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation in universal algebraic logic
@@ Property / cites work: Amalgamation in universal algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
+Normal rank
@@ Property / cites work @@
+Representability and amalgamation for Heyting polyadic 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 @@
+A Neat Embedding Theorem for Expansions of Cylindric Algebras
+Normal rank
@@ Property / cites work @@
+An Omitting Types Theorem for first order logic with infinitary relation symbols
+Normal rank
@@ Property / cites work @@
+The Class SNr3CAk is Not Closed Under Completions
@@ Property / cites work: The Class SNr3CAk is Not Closed Under Completions / rank @@
+Normal rank
@@ Property / cites work @@
+On complete representations of algebras of logic
@@ Property / cites work: On complete representations of algebras of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411447
@@ Property / cites work: Q5411447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185015
@@ Property / cites work: Q3185015 / rank @@
+Normal rank
@@ Property / cites work @@
+Epimorphisms in cylindric algebras and definability in finite variable logic
+Normal rank
@@ Property / cites work @@
+Omitting types for finite variable fragments and complete representations of algebras
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q3998034
@@ Property / cites work: Q3998034 / rank @@
+Normal rank
@@ Property / cites work @@
+Polyadic and cylindric algebras of sentences
@@ Property / cites work: Polyadic and cylindric algebras of sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Classes without the amalgamation property
@@ Property / cites work: Classes without the amalgamation property / rank @@
+Normal rank
@@ Property / cites work @@
+On representability of neatly embeddable cylindric algebras
+Normal rank
@@ Property / cites work @@
+Finitary polyadic algebras from cylindric algebras
+Normal rank
@@ Property / cites work @@
+Relation algebra reducts of cylindric algebras and complete representations
+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 by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebra reducts of cylindric algebras and an application to proof theory
+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 @@
+Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Erdős Graphs Resolve Fine's Canonicity Problem
@@ Property / cites work: Erdős Graphs Resolve Fine's Canonicity Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
+Normal rank
@@ Property / cites work @@
+Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation
+Normal rank
@@ Property / cites work @@
+Interpolation and amalgamation; pushing the limits. I
+Normal rank
@@ Property / cites work @@
+Amalgamation and interpolation in normal modal logics
+Normal rank
@@ Property / cites work @@
+Internal cohen extensions
@@ Property / cites work: Internal cohen extensions / rank @@
+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 @@
+Algebraization of quantifier logics, an introductory overview
+Normal rank
@@ Property / cites work @@
+Weakly higher order cylindric algebras and finite axiomatization of the representables
+Normal rank
@@ Property / cites work @@
+Amalgamation, congruence-extension, and interpolation properties in algebras
+Normal rank
@@ Property / cites work @@
+On weak and strong interpolation in algebraic logics
+Normal rank
@@ Property / cites work @@
+Connections between quasi-projective relation algebras and cylindric algebras
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank