An Interpolation Theorem (Q2711348): Difference between revisions

@@ 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