Brouwer invariance of domain theorem

DOI10.2478/FORMA-2014-0003MaRDI QIDQ467807zbMATH OpenOpenAlexFDO

Authors Karol Pąk

Publication date 5 November 2014

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-2014-0003

zbMATH Keywords

topological dimensioncontinuous transformations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Recommendations

• scientific article; zbMATH DE number 3496
• scientific article; zbMATH DE number 1444516
• On extensions of the domain invariance theorem
• scientific article; zbMATH DE number 1857339
• On the domain invariance theorem

Cites work

• scientific article; zbMATH DE number 4036692 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3622573 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Semantics of MML query -- ordering
• The rotation group

Cited in

(5)

• On extensions of the domain invariance theorem
• Combining higher-order logic with set theory formalizations
• Topological manifolds
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
• scientific article; zbMATH DE number 1857339 (Why is no real title available?)

This page was built for publication: Brouwer invariance of domain theorem

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