- Start
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
Angebote / Angebote:
The authors show that HMT and AMT are indeed equivalent in the sense of reverse mathematics, as well as in a strong computability theoretic sense and do the same for an analogous result of Peretyat'kin giving necessary and sufficient conditions for when a set of types is the type spectrum of some model.
Fremdlagertitel. Lieferzeit unbestimmt