6 found
Order:
  1.  22
    Located Sets and Reverse Mathematics.Mariagnese Giusto & Stephen G. Simpson - 2000 - Journal of Symbolic Logic 65 (3):1451-1480.
    Let X be a compact metric space. A closed set K $\subseteq$ X is located if the distance function d(x, K) exists as a continuous real-valued function on X; weakly located if the predicate d(x, K) $>$ r is Σ 0 1 allowing parameters. The purpose of this paper is to explore the concepts of located and weakly located subsets of a compact separable metric space in the context of subsystems of second order arithmetic such as RCA 0 , WKL (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2.  19
    Vitali's Theorem and WWKL.Douglas K. Brown, Mariagnese Giusto & Stephen G. Simpson - 2002 - Archive for Mathematical Logic 41 (2):191-206.
  3.  27
    Lebesgue Numbers and Atsuji Spaces in Subsystems of Second-Order Arithmetic.Mariagnese Giusto & Alberto Marcone - 1998 - Archive for Mathematical Logic 37 (5-6):343-362.
    We study Lebesgue and Atsuji spaces within subsystems of second order arithmetic. The former spaces are those such that every open covering has a Lebesgue number, while the latter are those such that every continuous function defined on them is uniformly continuous. The main results we obtain are the following: the statement “every compact space is Lebesgue” is equivalent to $\hbox{\sf WKL}_0$ ; the statements “every perfect Lebesgue space is compact” and “every perfect Atsuji space is compact” are equivalent to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  7
    Located Sets and Reverse Mathematics.Mariagnese Giusto & Stephen Simpson - 2000 - Journal of Symbolic Logic 65 (3):1451-1480.
    Let X be a compact metric space. A closed set K $\subseteq$ X is located if the distance function d exists as a continuous real-valued function on X; weakly located if the predicate d $>$ r is $\Sigma^0_1$ allowing parameters. The purpose of this paper is to explore the concepts of located and weakly located subsets of a compact separable metric space in the context of subsystems of second order arithmetic such as RCA$_0$, WKL$_0$ and ACA$_0$. We also give some (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  2
    L’Eucharistie, Révélation Suprême de la Miséricorde Chez Saint Augustin.Mariagnese Giusto - 2016 - Nouvelle Revue Théologique 138 (2):221.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  6
    Topics in Reverse Mathematics.Mariagnese Giusto - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences Ii. Kluwer Academic Publishers. pp. 63--87.