Some properties of the Sorgenfrey line and the Sorgenfrey plane

DOI10.2478/FORMA-2013-0009zbMATH Open1298.54013OpenAlexW1969404474MaRDI QIDQ467776FDOQ467776

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

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

zbMATH Keywords

topological spacesSorgenfrey lineproducts of normal spacesSorgenfrey planeLindelöf 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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A model of causality

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)