J. A. Makowsky, Elementary equivalence and definability in stationary logic, preprint, 1977. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Stationary Logic And Ordinals - Seese (1981) (Correct)
....ordinals has the following 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 ....
J. A. Makowsky, Elementary equivalence and definability in stationary logic, preprint, 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