Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-008-9354-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2038735278
@@ Property / OpenAlex ID: W2038735278 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logic and admissible sets
@@ Property / cites work: Infinitary logic and admissible sets / rank @@
+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 @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Satisfaction for <i>n</i>-th order languages defined in <i>n</i>-th order languages
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5544276
@@ Property / cites work: Q5544276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068717
@@ Property / cites work: Q4068717 / rank @@
+Normal rank
@@ Property / cites work @@
+Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
+Normal rank
@@ Property / cites work @@
+Beth's theorem in cardinality logics
@@ Property / cites work: Beth's theorem in cardinality logics / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Craig-Lyndon interpolation theorem
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+The laws of distribution for syllogisms
@@ Property / cites work: The laws of distribution for syllogisms / rank @@
+Normal rank
@@ Property / cites work @@
+There are reasonably nice logics
@@ Property / cites work: There are reasonably nice logics / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of models with generalized atomic formulas
@@ Property / cites work: Theory of models with generalized atomic formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Logic with the quantifier “there exist uncountably many”
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Circle networks of probabilistic transducers
@@ Property / cites work: Circle networks of probabilistic transducers / rank @@
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An interpolation theorem for denumerably long formulas
+Normal rank
@@ Property / cites work @@
+An interpolation theorem in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Properties preserved under homomorphism
@@ Property / cites work: Properties preserved under homomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
+Normal rank
@@ Property / cites work @@
+The theorems of beth and Craig in abstract model theory II. Compact logics
+Normal rank
@@ Property / cites work @@
+Positive results in abstract model theory: a theory of compact logics
+Normal rank
@@ Property / cites work @@
+δ-Logics and generalized quantifiers
@@ Property / cites work: δ-Logics and generalized quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Stationary logic and its friends. I
@@ Property / cites work: Stationary logic and its friends. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573359
@@ Property / cites work: Q5573359 / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness, interpolation and Friedman's third problem
+Normal rank
@@ Property / cites work @@
+Infinitary formulas preserved under unions of models
+Normal rank
@@ Property / cites work @@
+An Interpolation Theorem
@@ Property / cites work: An Interpolation Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. An introduction
@@ Property / cites work: Proof theory. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240238
@@ Property / cites work: Q3240238 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Homomorphism preservation theorems
@@ Property / cites work: Homomorphism preservation theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks in abstract model theory
@@ Property / cites work: Remarks in abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+A new look at the interpolation problem
@@ Property / cites work: A new look at the interpolation problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5833217
@@ Property / cites work: Q5833217 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's System of Geometry
@@ Property / cites work: Tarski's System of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1024116