scientific article; zbMATH DE number 4118348

MaRDI QIDQ4732453zbMATH OpenFDO

Authors

Publication date 1988

zbMATH Keywords

cut-elimination theoremgame-theoretic proof theory for \(L_{\kappa ^ +\kappa }\)proof-theoretic many-sorted interpolation theoremsemantics

Mathematics Subject Classification ID

Other infinitary logic (03C75) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
• Interpolation, preservation, and pebble games
• Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
• Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
• scientific article; zbMATH DE number 3889508

Cited in

(2)

• Constructing strongly equivalent nonisomorphic models for unstable theories
• Game-theoretic inductive definability

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4732453)