D. G. Seese and M. Weese, Ehrenfeucht's game for stationary logic, unpublished notes, 1977. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Stationary Logic And Ordinals - Seese (1981) Self-citation (Seese) (Correct)
....properties. i) X is an initial segment of the ordinals (under G) ii) X has uncountable cofinality (if some ordinal is not in X) iii) w X. Hence by the results of Kaufmann each ordinal 0 is finitely determinate. Caicedo [6] Kaufmann [10] Makowsky [14] and Weese and the author [24] developed back and forth criteria to establish (L(aa) n) equivalence. A detailed investigation can be found in [10] There also determinate back and forth systems are introduced which are a useful tool to investigate finitely determinate structures. The following definition we take from [10] ....
D. G. Seese and M. Weese, Ehrenfeucht's game for stationary logic, unpublished notes, 1977.
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