An Interpolation Theorem (Q2711348): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1998141358
@@ Property / OpenAlex ID: W1998141358 / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Information transfer across Chu spaces
@@ Property / cites work: Information transfer across Chu spaces / 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 @@
+An interpolation theorem in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Two theorems on mix-relativization
@@ Property / cites work: Two theorems on mix-relativization / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2711348