@Article{         odifreddi1983,
  Author        = "Odifreddi, Piergiorgio",
  date-added    = "2020-04-10 18:54:12 +0200",
  date-modified = "2020-04-10 18:54:12 +0200",
  fjournal      = "Journal of Symbolic Logic",
  Journal       = "J. Symbolic Logic",
  Month         = "09",
  Number        = "3",
  Pages         = "724--743",
  Publisher     = "Association for Symbolic Logic",
  Title         = "Forcing and Reducibilities. II. Forcing in Fragments of Analysis",
  URL           = "https://projecteuclid.org:443/euclid.jsl/1183741332",
  Volume        = "48",
  Year          = "1983",
  bdsk-url-1    = "https://projecteuclid.org:443/euclid.jsl/1183741332",
  File          = "Forcing and reductibilities. II. Forcing in fragments of analysis - odifreddi1983 - a - z.pdf"
}

@Article{ odifreddi1983, Author = "Odifreddi, Piergiorgio", date-added = "2020-04-10 18:54:12 +0200", date-modified = "2020-04-10 18:54:12 +0200", fjournal = "Journal of Symbolic Logic", Journal = "J. Symbolic Logic", Month = "09", Number = "3", Pages = "724--743", Publisher = "Association for Symbolic Logic", Title = "Forcing and Reducibilities. II. Forcing in Fragments of Analysis", URL = "https://projecteuclid.org:443/euclid.jsl/1183741332", Volume = "48", Year = "1983", bdsk-url-1 = "https://projecteuclid.org:443/euclid.jsl/1183741332", File = "Forcing and reductibilities. II. Forcing in fragments of analysis - odifreddi1983 - a - z.pdf" }