On strict and simple type extensions

DOI10.1155/S0161171298000349MaRDI QIDQ1384237zbMATH OpenFDO

Authors Mohan L. Tikoo

Publication date 13 April 1998

Published in International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/47957

zbMATH Keywords

simple extensionstrict extension

Mathematics Subject Classification ID

Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Review text

An extension of a topological space \((X,\tau')\) is a topological space \((Y,\tau)\) that contains \((X,\tau')\) as a dense subspace. In this paper filter systems on \((X,\tau')\) using regular open sets of \((X,\tau')\) are used to construct new topologies on \(Y\), some of which yield nice extensions of \((X,\tau')\). Connections to the strict and simple extensions of \((X,\tau')\) are investigated.

Recommendations

• scientific article; zbMATH DE number 2185650
• Extensional constructs in intensional type theory
• scientific article; zbMATH DE number 1101620
• Extensional equivalence and singleton types
• Definitional extension in type theory
• Derivation and inference of higher-order strictness types
• scientific article; zbMATH DE number 3889502
• Extending homotopy type theory with strict equality
• scientific article; zbMATH DE number 1104376

Cited in

(20)

• Extensions and internal structure
• Separation properties of simultaneous topological extensions
• Enumerated types and type extensions for MiniZinc
• A construction for topological extensions
• Restricted weak type versus weak type
• scientific article; zbMATH DE number 4192628 (Why is no real title available?)
• On a characterization of simple extensions of topologies
• Simple systems and generalized topologies
• scientific article; zbMATH DE number 3929905 (Why is no real title available?)
• scientific article; zbMATH DE number 4064025 (Why is no real title available?)
• scientific article; zbMATH DE number 55863 (Why is no real title available?)
• scientific article; zbMATH DE number 1258310 (Why is no real title available?)
• scientific article; zbMATH DE number 469290 (Why is no real title available?)
• scientific article; zbMATH DE number 1104376 (Why is no real title available?)
• scientific article; zbMATH DE number 1101620 (Why is no real title available?)
• scientific article; zbMATH DE number 1749627 (Why is no real title available?)
• scientific article; zbMATH DE number 6923849 (Why is no real title available?)
• Finite extensions of topogenities
• Simultaneous extensions of topogenities
• Relations of topologies as tools of (bi)topological applications

This page was built for publication: On strict and simple type extensions

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