Modest Theory of Short Chains, I

  • Yuri Gurevich

Journal of Symbolic Logic | , Vol 44: pp. 481-490

下载 BibTex

The composition (or decomposition) method of Feferman-Vaught is generalized and made much more applicable.