@Article{         odifreddi1983:III,
  Author        = "Odifreddi, Piergiorgio",
  date-added    = "2020-04-10 18:54:46 +0200",
  date-modified = "2020-04-10 18:54:53 +0200",
  fjournal      = "Journal of Symbolic Logic",
  Journal       = "J. Symbolic Logic",
  Month         = "12",
  Number        = "4",
  Pages         = "1013--1034",
  Publisher     = "Association for Symbolic Logic",
  Title         = "Forcing and Reducibilities. III. Forcing in Fragments of Set Theory",
  URL           = "https://projecteuclid.org:443/euclid.jsl/1183741411",
  Volume        = "48",
  Year          = "1983",
  bdsk-url-1    = "https://projecteuclid.org:443/euclid.jsl/1183741411",
  File          = "Forcing and Reducibilities. III. Forcing in Fragments of Set Theory - odifreddi1983 - a - x.pdf"
}

@Article{ odifreddi1983:III, Author = "Odifreddi, Piergiorgio", date-added = "2020-04-10 18:54:46 +0200", date-modified = "2020-04-10 18:54:53 +0200", fjournal = "Journal of Symbolic Logic", Journal = "J. Symbolic Logic", Month = "12", Number = "4", Pages = "1013--1034", Publisher = "Association for Symbolic Logic", Title = "Forcing and Reducibilities. III. Forcing in Fragments of Set Theory", URL = "https://projecteuclid.org:443/euclid.jsl/1183741411", Volume = "48", Year = "1983", bdsk-url-1 = "https://projecteuclid.org:443/euclid.jsl/1183741411", File = "Forcing and Reducibilities. III. Forcing in Fragments of Set Theory - odifreddi1983 - a - x.pdf" }