Hybrid maximal filter spaces

DOI10.1007/978-3-031-64309-5_8MaRDI QIDQ7030913zbMATH OpenFDO

Authors David Gonzalez

Publication date 7 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-64309-5_8

zbMATH Keywords

computable structuresgeneral topologymaximal filter spacereverse mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Computable structure theory, computable model theory (03C57) Second- and higher-order arithmetic and fragments (03F35)

Cites work

• Filters on computable posets
• scientific article; zbMATH DE number 4134040 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• Open questions in reverse mathematics
• Reverse Mathematics
• Reverse Mathematics and Π¹₂ Comprehension
• Subsystems of second order arithmetic
• The strength of compactness for countable complete linear orders
• Topological aspects of poset spaces

This page was built for publication: Hybrid maximal filter spaces

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