@InCollection{    bes:hal-00091580,
  Author        = "B{\`e}s, Alexis",
  BookTitle     = "{A Tribute to Maurice Boffa}",
  date-added    = "2019-07-11 17:49:29 +0100",
  date-modified = "2019-07-11 17:49:29 +0100",
  hal_id        = "hal-00091580",
  hal_version   = "v1",
  Pages         = "1-54",
  Publisher     = "{Soci{\'e}t{\'e} Math{\'e}matique de Belgique}",
  Title         = "{A Survey of Arithmetical Definability}",
  URL           = "https://hal.archives-ouvertes.fr/hal-00091580",
  Year          = "2002",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-00091580",
  File          = "A Survey of Arithmetical Definability - a - a - v.pdf",
  file-2        = "A Survey of Arithmetical Definability (0) - a - a - v.ps"
}

@InCollection{ bes:hal-00091580, Author = "B{`e}s, Alexis", BookTitle = "{A Tribute to Maurice Boffa}", date-added = "2019-07-11 17:49:29 +0100", date-modified = "2019-07-11 17:49:29 +0100", hal_id = "hal-00091580", hal_version = "v1", Pages = "1-54", Publisher = "{Soci{\'e}t{\'e} Math{\'e}matique de Belgique}", Title = "{A Survey of Arithmetical Definability}", URL = "https://hal.archives-ouvertes.fr/hal-00091580", Year = "2002", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-00091580", File = "A Survey of Arithmetical Definability - a - a - v.pdf", file-2 = "A Survey of Arithmetical Definability (0) - a - a - v.ps" }