Advertisement

Getting started

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

Abstract

This chapter introduces HST, Hrbaček set theory.

Keywords

Standard Size Nonstandard Analysis Proper Class True Equality Elementary Submodel 
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.

Preview

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