-
-
-
-
-
Completeness and Definability
Applications of the Ehrenfeucht game in second-order and intensional logic
Kees Doets
This dissertation contains results on classical first- and second-order logic (parts I and II) and their intensional colleagues: modal- tense- and intuitionistic (propositional...
-
-
-
Compact Spaces and Compactification
An Algebraic Approach
Hendrik De Vries
It has become a classical result that there exists a complete duality between the theory of boolean algebras and the theory of zero—dimensional compact Hausdorff spaces (M. H. Stone). In this duality, e.g. the maximal...
-
Investigations in Intuitionistic Hierarchy Theory
Wim Veldman
This thesis is concerned with constructive reasoning in descriptive set theory.
The venerable subject of descriptive set theory was developed in the early decades of this century, mainly by French and Russian mathematicians.
It...
-
-