Now showing items 1-1 of 1

    • Quantifier rank spectrum of L-infinity-omega 

      Ackerman, Nathaniel Leedom (Massachusetts Institute of Technology, 2006)
      In Part A we will study the quantifier rank spectrum of sentences of L!1,!. We will show that there are scattered sentences with models of arbitrarily high but bounded quantifier rank. We will also consider the case of ...