Club-guessing and non-structure of trees

• Autorzy: Tapani Hyttinen
• Języki publikacji: EN

Abstrakty

EN

We study the possibilities of constructing, in ZFC without any additional assumptions, strongly equivalent non-isomorphic trees of regular power. For example, we show that there are non-isomorphic trees of power ω₂ and of height ω · ω such that for all α < ω₁· ω · ω, E has a winning strategy in the Ehrenfeucht-Fraïssé game of length α. The main tool is the notion of a club-guessing sequence.

Kategorie tematyczne

• 03E05: Other combinatorial set theory
• 03C75: Other infinitary logic

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2001
• Tom: 168
• Numer: 3
• Strony: 237-249

Daty

wydano

2001

Twórcy

autor

Tapani Hyttinen

• Department of Mathematics, P.O. Box 4, 00014 University of Helsinki, Finland

Identyfikatory

DOI

10.4064/fm168-3-2