L. D. Lipnet, Some aspects of generalized quantifiers, Doctoral Dissertation, Univ. of California, Berkeley, 1970.  Home/Search   Document Not in Database   Summary   Related Articles

....this is not possible to express by a formula from L(Q O. This can be proved regarding the ordinals wl and wl . The cofinality of w l is w and the cofinality of c0 is w. But by an induction on n we get that holds. This can be proved using the game theoretical equivalent of = L(QO) see [13], 28] Here it is essential to remember the following facts. 1) For each natural number n there is a natural number m such that for each ordinal a there exists an ordinal fi w with a = n fi(L(QO) 2) For all ordinals a w] and o0 , a w o0 and fi w w hold. If we regard the ....

L. D. Lipnet, Some aspects of generalized quantifiers, Doctoral Dissertation, Univ. of California, Berkeley, 1970.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC