F. D. Ramsey, On aproblem of formal logic, Proc. London Math. Soc. 30 (1929), 338-384.  Home/Search   Document Not in Database   Summary   Related Articles

....be a cofinal sequence of elements of A such that a 0 is the minimal element of . For all a, b A let [a, b) be the structure ( c:a . c t, c c:a c For each given n C w there are only finitely many equivalence classes with respect to = L(aa) A standard application of the theorem of Ramsey [20] (see e.g. 12] 26] gives then the existence of an infinite subset N of w such that for all STATIONARY LOGIC AND ORDINALS 2 ml, m2, m3, m 4 N with m rr and m 3 m4, arno, am: n [am, arn4) aa) holds. Let (ni)i be an enumeration of the elements of N with n i nj for all i j w. We ....

F. D. Ramsey, On aproblem of formal logic, Proc. London Math. Soc. 30 (1929), 338-384.

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