Modern Czech Logic: Vopěnka and Hájek, History and Background

Abstract

We review some aspects of the history of modern Czech logic, with an emphasis on the role of Petr Vopenka and Petr Hajek in the earlier stage of their careers.

Keywords

• Petr Vopenka
• Petr Hajek
• Set Theory
• Nonstandard Numbers
• Semiset