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

Abstrakt

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.

Klíčová slova

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