Formalized Recursive Functionals and Formalized Realizability

Open Mappings on Locally Compact Spaces

Ordered Structures and Partitions

Grothendieck Spaces in Approximation Theory

A General Character Theory for Partially Ordered Sets and Lattices

Algebraic Cobordism and $K$-Theory

Regular Mappings and the Space of Homeomorphisms on a 3-Manifold

Souslinoid and Analytic Sets in a General Setting

Unitary Representations of Solvable Lie Groups

Theory of Distributions for Locally Compact Spaces

Geometry of Moment Spaces

Four Papers on Probability

Contributions to the Asymptotic Theory of Ordinary Differential Equations in the Complex Domain

Cohomology Theory and Algebraic Correspondences

Galois Theory and Cohomology of Commutative Rings

Principal Solutions of Ordinary Differential Equations in the Complex Domain

The Classification of $G$-Spaces

On the Enumeration of Non-Planar Maps

Harmonic Analysis on Hilbert Space

A Hankel Convolution Complex Inversion Theory