Hausdorff separations and decidability

MaRDI QIDQ2764181zbMATH OpenFDO

Authors M. V. Mielke

Publication date 22 January 2002

zbMATH Keywords

decidable objectsHausdorff separations

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15) Topoi (18B25) Categorical methods in general topology (54B30) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Recommendations

• Decidable (= separable) objects and morphisms in lextensive categories
• A characterization of quasi-toposes
• Separatedness in constructive topology
• T_o-OBJECTS AND SEPARATED OBJECTS IN TOPOLOGICAL CATEGORIES
• On toposes generated by cardinal finite objects

Cited in

(13)

• Decidability, partial decidability and sharpness relation for L-subsets
• Separability and decidability results for varieties of Jónsson dynamic algebras
• Decidable (= separable) objects and morphisms in lextensive categories
• scientific article; zbMATH DE number 40565 (Why is no real title available?)
• scientific article; zbMATH DE number 1089735 (Why is no real title available?)
• The unity and identity of decidable objects and double-negation sheaves
• Halos and undecidability of tensor stable positive maps
• Pre-Hausdorff and Hausdorff objects in the category of quantale-valued closure spaces
• Decidable fan theorem and uniform continuity theorem with continuous moduli
• A note on Cauchy spaces
• A survey and exposition of sub-Hausdorff separation axioms
• Quotient-reflective and bireflective subcategories of the category of preordered sets
• \(\text{Pre}T _{2}\) objects in topological categories

This page was built for publication: Hausdorff separations and decidability

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