Two Papers on the Predicate Calculus

Open Mappings on Locally Compact Spaces

Harmonic Analysis on Hilbert Space

Extension of Compact Operators

Galois Theory and Cohomology of Commutative Rings

Foundations of Relative Homological Algebra

A Hankel Convolution Complex Inversion Theory

Torsion in SU-Bordism

A New Formulation of Particle Mechanics

Unitary Representations of Solvable Lie Groups

On the Enumeration of Non-Planar Maps

Modules over Commutative Regular Rings

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

Formalized Recursive Functionals and Formalized Realizability

A Conformal Mapping Technique for Infinitely Connected Regions

Doubly Timelike Surfaces

Equivariant Maps of Spheres into the Classical Groups