Switch to: References

Add citations

You must login to add citations.
  1. Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice.Kyriakos Keremedis, Eleftherios Tachtsis & Eliza Wajch - 2023 - Annals of Pure and Applied Logic 174 (7):103283.
    Download  
     
    Export citation  
     
    Bookmark  
  • Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (4):537-559.
    Reverse mathematics is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, that is, non-set-theoretic, mathematics. As suggested by the title, this paper deals with the study of the topological notions of dimension and paracompactness, inside Kohlenbach’s higher-order RM. As to splittings, there are some examples in RM of theorems A, B, C such that A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Pincherle's theorem in reverse mathematics and computability theory.Dag Normann & Sam Sanders - 2020 - Annals of Pure and Applied Logic 171 (5):102788.
    We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first ‘local-to-global’ principles. It is well-known that such principles in analysis are intimately connected to (open-cover) compactness, but we nonetheless exhibit fundamental differences between compactness and Pincherle's theorem. For instance, the main question of Reverse Mathematics, namely which set existence axioms are necessary to (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)On Sequentially Compact Subspaces of without the Axiom of Choice.Kyriakos Keremedis & Eleftherios Tachtsis - 2003 - Notre Dame Journal of Formal Logic 44 (3):175-184.
    We show that the property of sequential compactness for subspaces of.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces.Kyriakos Keremedis - 2003 - Mathematical Logic Quarterly 49 (2):179-186.
    In the realm of metric spaces the role of choice principles is investigated.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Some weak forms of the Baire category theorem.Kyriakos Kermedis - 2003 - Mathematical Logic Quarterly 49 (4):369.
    We show that the statement “separable, countably compact, regular spaces are Baire” is deducible from a strictly weaker form than AC, namely, CAC . We also find some characterizations of the axiom of dependent choices.
    Download  
     
    Export citation  
     
    Bookmark