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.