Publication:2969690

zbMath1358.54001MaRDI QIDQ2969690

J. L. Kelley

Publication date: 23 March 2017

Mathematics Subject Classification ID

54C05: Continuous maps

54C35: Function spaces in general topology

54E35: Metric spaces, metrizability

54C10: Special maps on topological spaces (open, closed, perfect, etc.)

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

54A05: Topological spaces and generalizations (closure spaces, etc.)

54-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general topology

54B05: Subspaces in general topology

54B10: Product spaces in general topology

54B15: Quotient spaces, decompositions in general topology

54A20: Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.)

54E15: Uniform structures and generalizations

03E30: Axiomatics of classical set theory and its fragments

03E20: Other classical set theory (including functions, relations, and set algebra)

03E25: Axiom of choice and related propositions

54Dxx: Fairly general properties of topological spaces

Related Items

Prolegomena to a theory of mechanized formal reasoning, Cartesianness: topological spaces, uniform spaces, and affine schemes, Topological versus differentiable hyperbolicity: Extending orbit conjugacies, Characterization of equivalent uniformities in topological groups, Extensions of regular lattice measures with topological applications, Spaces of economic agents, On the virtual groups defined by ergodic actions of R\(^n\) and \(Z^n\), The Berry-Esseen bound for minimum contrast estimates