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

Invariants for Effective Homotopy Classification and Extension of Mappings

The Lattice Theoretic Background of the Dimension Theory of Operator Algebras

Four Papers on Probability

Cohomology Theory and Algebraic Correspondences

Modules over Commutative Regular 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

Topics in Fourier and Geometric Analysis

A Hankel Convolution Complex Inversion Theory

Two Papers on the Predicate Calculus

A New Formulation of Particle Mechanics