Definable external sets and metamathematics of HST
- 489 Downloads
Metamathematical studies of nonstandard theories continue in this Chapter with the aim to prove the main metamathematical properties of HST including its standard core interpretability in ZFC (Theorem 1.1.14) and internal core interpretability in BST (essentially, Theorem 3.1.10) and consequences related to conservativity etc. Section 5.1 introduces all necessary notation and presents the main results (Theorem 5.1.4 and Corollary 5.1.5).
KeywordsExternal Theory Invariant Structure Intermediate Theory Transitive Relation Internal Function
Unable to display preview. Download preview PDF.