Open Mappings on Locally Compact Spaces

Algebraic Cobordism and $K$-Theory

Asymptotic Behavior of Solutions of Differential-Difference Equations

On the Mixed Problem for a Hyperbolic Equation

Locally Multiplicatively-Convex Topological Algebras

Numbers with Small Prime Factors, and the Least $k$th Power Non-Residue

Souslinoid and Analytic Sets in a General Setting

The Representation Problem for Frechet Surfaces

Unitary Representation Theory for Solvable Lie Groups

On Stochastic Differential Equations

Invariants for Effective Homotopy Classification and Extension of Mappings

Structures in Topology

Invariant Differential Operators and the Cohomology of Lie Algebra Sheaves

Multipliers, Positive Functionals, Positive-Definite Functions, and Fourier-Stieltjes Transforms

Harmonic Analysis on Hilbert Space

Topics in Fourier and Geometric Analysis

Formalized Recursive Functionals and Formalized Realizability

Unitary Representations of Solvable Lie Groups

Spaces with Non-Symmetric Distance

Isometric Embeddings of Riemannian and Pseudo-Riemannian Manifolds