Open Mappings on Locally Compact Spaces

The Lattice Theoretic Background of the Dimension Theory of Operator Algebras

Analytic Continuation of the Irreducible Unitary Representations of the Universal Covering Group of SL(2, R)

Foundations of Relative Homological Algebra

The Metastable Homotopy of $S^n$

The $\mod 2$ Cohomology Structure of Certain Fibre Spaces

Torsion in SU-Bordism

Locally Compact Transformation Groups and C^*-Algebras

Monotone Processes of Convex and Concave Type

On the Enumeration of Non-Planar Maps

Endomorphisms of Linear Algebraic Groups

Cohomology of Coalgebras

Modules over Commutative Regular Rings

Representation Theorems on Banach Function Spaces

Unitary Representation Theory for Solvable Lie Groups

Representation of Rings by Sections

Souslinoid and Analytic Sets in a General Setting

Studies in Abstract Families of Languages

Properties of Planar Graphs with Uniform Vertex and Face Structure

Formalized Recursive Functionals and Formalized Realizability