Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem |
|
| Author:
| Hirschfeldt, Denis R.
Lange, Karen
Shore, Richard A. |
| Series title: | Memoirs of the American Mathematical Society Ser. |
| ISBN: | 978-1-4704-2657-6 |
| Publication Date: | Oct 2017 |
| Publisher: | American Mathematical Society
|
| Book Format: | Paperback |
| List Price: | USD $75.00USD $75.00 |
Book Description:
|
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.
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.