Definable external sets and metamathematics of HST

  • Vladimir Kanovei
  • Michael Reeken
Part of the Springer Monographs in Mathematics book series (SMM)


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).


External Theory Invariant Structure Intermediate Theory Transitive Relation Internal Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Vladimir Kanovei
    • 1
  • Michael Reeken
    • 2
  1. 1.IITP, Institute for Information TransmissionMoscowRussian Federation
  2. 2.Bergische Universität WuppertalFB C MathematikWuppertalGermany

Personalised recommendations