Now showing items 1-1 of 1
Quantifier rank spectrum of L-infinity-omega
(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 ...