On the necessity of some topological spaces

DOI10.1007/978-3-031-08740-0_14MaRDI QIDQ2104265zbMATH OpenOpenAlexFDO

Authors Robert S. Lubarsky

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-08740-0_14

zbMATH Keywords

constructive mathematicstopological models

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• scientific article; zbMATH DE number 1018347
• On a class of topological spaces
• scientific article; zbMATH DE number 3684
• On topologically finite spaces
• scientific article; zbMATH DE number 4080354
• scientific article; zbMATH DE number 38430
• On some spaces via topological ideals
• scientific article; zbMATH DE number 5017688
• On genuine topological spaces
• scientific article; zbMATH DE number 1788284

Cites work

• scientific article; zbMATH DE number 3916267 (Why is no real title available?)
• scientific article; zbMATH DE number 3664922 (Why is no real title available?)
• A continuity principle, a version of Baire's theorem and a boundedness principle
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• Dependent choice, `quote' and the clock
• Geometric spaces with no points
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Separating fragments of WLEM, LPO, and MP
• Separating the fan theorem and its weakenings. II
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory

Cited in

(13)

• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• On the Weihrauch degree of the additive Ramsey theorem
• On the first-order parts of problems in the Weihrauch degrees
• Proof-theoretic methods in quantifier-free definability
• Hilbert's tenth problem for term algebras with a substitution operator
• Defining long words succinctly in FO and MSO
• On the necessity of some topological spaces
• Complemented subsets and Boolean-valued, partial functions
• Algorithmically random series
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively
• Maps for learning indexable classes
• scientific article; zbMATH DE number 4080354 (Why is no real title available?)

This page was built for publication: On the necessity of some topological spaces

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