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

Spaces with Non-Symmetric Distance

The Lattice Theoretic Background of the Dimension Theory of Operator Algebras

Four Papers on Probability

Unitary Representations of Solvable Lie Groups

Cohomology Theory and Algebraic Correspondences

Galois Theory and Cohomology of Commutative Rings

Principal Solutions of Ordinary Differential Equations in the Complex Domain

Theory of Distributions for Locally Compact Spaces

On the Enumeration of Non-Planar Maps

Invariants for Effective Homotopy Classification and Extension of Mappings

A Hankel Convolution Complex Inversion Theory

Two Papers on the Predicate Calculus