Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

More on the Ehrenfeucht-Fraisse game of length ω₁

100%

Hyttinen T., Shelah S., Vaananen J.

Fundamenta Mathematicae

2002

tom 175

nr 1

79-96

By results of [9] there are models 𝔄 and 𝔅 for which the Ehrenfeucht-Fraïssé game of length ω₁, $EFG_{ω₁}(𝔄,𝔅)$, is non-determined, but it is consistent relative to the consistency of a measurable cardinal that no such models have cardinality ≤ ℵ₂. We now improve the work of [9] in two ways. Firstly, we prove that the consistency strength of the statement "CH and $EFG_{ω₁}(𝔄,𝔅)$ is determined for all models 𝔄 and 𝔅 of cardinality ℵ₂" is that of a weakly compact cardinal. On the other hand, we show that if $2^{ℵ₀} < 2^{ℵ₃}$, T is a countable complete first order theory, and one of (i) T is unstable, (ii) T is superstable with DOP or OTOP, (iii) T is stable and unsuperstable and $2^{ℵ₀} ≤ ℵ₃$, holds, then there are 𝓐,ℬ ⊨ T of power ℵ₃ such that $EFG_{ω₁}(𝓐,ℬ)$ is non-determined.

Ograniczanie wyników

1 Fundamenta Mathematicae

1 Hyttinen T.

1 Shelah S.

1 Vaananen J.

1 2002

Wyniki wyszukiwania

More on the Ehrenfeucht-Fraisse game of length ω₁