• Title of article

    A study of singular points and supports of measures in reverse mathematics Original Research Article

  • Author/Authors

    Xiaokang Yu، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1996
  • Pages
    9
  • From page
    211
  • To page
    219
  • Abstract
    Arithmetical comprehension is proved to be equivalent to the enumerability of singular points of any measure on the Cantor space. It is provable in ACA0 that any perfect closed subset of [0, 1] is the support of some continuous positive linear functional on C[0, 1].
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    1996
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    890068