The Stone-Cech Compactification

Stannett, M. orcid.org/0000-0002-2794-8614 (2024) The Stone-Cech Compactification. Archive of Formal Proofs, Archive of Formal Proofs.

Metadata

Item Type: Other
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2024 The Author(s).

Keywords: Mathematics; Topology; Proof
Dates:
  • Published: May 2024
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 15 Aug 2024 14:18
Last Modified: 15 Aug 2024 14:21
Published Version: https://devel.isa-afp.org/entries/Stone_Cech.html
Status: Published
Publisher: Archive of Formal Proofs
Open Archives Initiative ID (OAI ID):

Export

Statistics