@InProceedings{   DurandFaginLoescher:CSL:1998,
  Author        = "Durand, Arnaud and Fagin, Ronald and Loescher, Bernd",
  Editor        = "Nielsen, Mogens and Thomas, Wolfgang",
  Abstract      = "The spectrum of a first-order sentence is the set of cardinalities of its finite models. This paper is concerned with spectra of sentences over languages that contain only unary function symbols. In particular, it is shown that a set S of natural numbers is the spectrum of a sentence over the language of one unary function symbol precisely if S is an eventually periodic set.",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Computer Science Logic",
  date-added    = "2020-02-15 13:26:33 +0100",
  date-modified = "2020-02-15 13:26:33 +0100",
  ISBN          = "978-3-540-69353-6",
  Pages         = "189--202",
  Publisher     = "Springer Berlin Heidelberg",
  Title         = "Spectra with only unary function symbols",
  Year          = "1998",
  File          = "Spectra with Only Unary Function Symbols - a - a - a - l.pdf"
}

@InProceedings{ DurandFaginLoescher:CSL:1998, Author = "Durand, Arnaud and Fagin, Ronald and Loescher, Bernd", Editor = "Nielsen, Mogens and Thomas, Wolfgang", Abstract = "The spectrum of a first-order sentence is the set of cardinalities of its finite models. This paper is concerned with spectra of sentences over languages that contain only unary function symbols. In particular, it is shown that a set S of natural numbers is the spectrum of a sentence over the language of one unary function symbol precisely if S is an eventually periodic set.", Address = "Berlin, Heidelberg", BookTitle = "Computer Science Logic", date-added = "2020-02-15 13:26:33 +0100", date-modified = "2020-02-15 13:26:33 +0100", ISBN = "978-3-540-69353-6", Pages = "189--202", Publisher = "Springer Berlin Heidelberg", Title = "Spectra with only unary function symbols", Year = "1998", File = "Spectra with Only Unary Function Symbols - a - a - a - l.pdf" }