Some remarks about product spaces

DOI10.2478/FORMA-2018-0019MaRDI QIDQ2311530zbMATH OpenOpenAlexFDO

Authors Sebastian Koch

Publication date 10 July 2019

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2018-0019

zbMATH Keywords

product spacestopology

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Product spaces in general topology (54B10)

Recommendations

• The metrizablity of product spaces
• Product pseudo algebraic spaces
• On the product of primal spaces
• scientific article; zbMATH DE number 3895879
• Product soft topological spaces and their properties

Cites work

• Algèbre
• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(3)

• Standard filling of a product space
• scientific article; zbMATH DE number 3851345 (Why is no real title available?)
• The metrizablity of product spaces

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Some remarks about product spaces

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