Some properties of the Sorgenfrey line and the Sorgenfrey plane

DOI10.2478/FORMA-2013-0009MaRDI QIDQ467776zbMATH OpenOpenAlexFDO

Authors Adam S. Arnaud, Piotr Rudnicki

Publication date 5 November 2014

Published in Formalized Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2478/forma-2013-0009

zbMATH Keywords

Lindelöf spacesproducts of normal spacesSorgenfrey lineSorgenfrey planetopological spaces

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Product spaces in general topology (54B10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Recommendations

• Subspaces of the Sorgenfrey line
• Subspaces of the Sorgenfrey line and their products
• Introducing Sorgenfrey manifolds
• scientific article; zbMATH DE number 1301930
• Maps of the Sorgenfrey line

Cites work

• A model of causality
• scientific article; zbMATH DE number 3600759 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• scientific article; zbMATH DE number 3253715 (Why is no real title available?)

Cited in

(4)

• scientific article; zbMATH DE number 20537 (Why is no real title available?)
• scientific article; zbMATH DE number 1301930 (Why is no real title available?)
• scientific article; zbMATH DE number 2010160 (Why is no real title available?)
• ON MODIFICATION OF THE SORGENFREY LINE

This page was built for publication: Some properties of the Sorgenfrey line and the Sorgenfrey plane

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467776)