Modest Theory of Short Chains, I
- Yuri Gurevich
Journal of Symbolic Logic | , Vol 44: pp. 481-490
The composition (or decomposition) method of Feferman-Vaught is generalized and made much more applicable.
Journal of Symbolic Logic | , Vol 44: pp. 481-490
The composition (or decomposition) method of Feferman-Vaught is generalized and made much more applicable.