Algoritmus
An essay on model theory
Some basic ideas of model theory are presented and a personal outlook on its perspectives is given.
Basis problems in combinatorial set theory.
Beweistheoretische Abgrenzung von Teilsystemen der Analysis.
Completeness, functional completeness and relative completeness.
Computational Interrpretations of Logics
Deduction in many-valued logics: a survey.
Exercices sur la stabilité
Generic large cardinals: New axioms for mathematics?
Geometrical model theory.
Lectures on ideal dichotomy
Logique modale propositionnelle : une vue cavalière
Matematická logika a numerická analysa
O riešení niektorých nerozhodnutelných topologických problémov
On (m, n)-ramifications or (m, n)-pseudo-trees of sets.
On some problems in combinatorial set theory.
Poznámky k axiomatizaci planimetrie
Axiomatická metoda je považována za hlavní metodu, kterou je dnes matematika formalizována. Není však jedinou, navíc prošla v průběhu tisíciletí poměrně pestrým vývojem. V tomto příspěvku se pokusíme na základě charakterizace různých typů formalizace matematiky zařadit nejznámější pokusy o axiomatizaci eukleidovské geometrie, zejména Eukleidův, Hilbertův a Birkhoffův.
Progrès récents sur l’hypothèse du continu
Les travaux récents de Woodin ont considérablement renouvelé la théorie des ensembles en lui apportant une intelligibilité globale et en restaurant son unité. Pour la première fois, ses résultats ouvrent une perspective réaliste de résoudre le problème du continu, et, à tout le moins, ils établissent le caractère irréfutablement signifiant et précis de celui-ci.
Recent developments in the theory of partitions.
Set theoretic real analysis.