scientific article; zbMATH DE number 4118348
From MaRDI portal
Publication:4732453
zbMath0683.03019MaRDI QIDQ4732453
No author found.
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticscut-elimination theoremgame-theoretic proof theory for \(L_{\kappa ^ +\kappa }\)proof-theoretic many-sorted interpolation theorem
Related Items (2)
Constructing strongly equivalent nonisomorphic models for unstable theories ⋮ Game-theoretic inductive definability
This page was built for publication:
