Twierdzenie Nasha-Williamsa jako zasada indukcji

• Autorzy: Solecki S.
• Języki publikacji: PL

Abstrakty

PL

Artykuł ten był wynikiem refleksji nad dowodem Nasha-Williamsa w trakcie wykładu monograficznego na Uniwersytecie Illinois. Jego krótsza wersja została spisana w języku angielskim jako notatka dla studentów. Tym artykułem chciałbym przekonać czytelnika, że twierdzenie Nasha-Williamsa jest szczególnym przypadkiem fundamentalnej zasady - zasady indukcji. W paragrafie 2 sformułuję i udowodnię tę zasadę indukcji, której postać jest być może ciekawa sama w sobie. Następnie, by zilustrować jej przydatność, wykażę, jak można z niej uzyskać twierdzenie Ellentucka dla zbiorów domkniętych.

Słowa kluczowe

PL

twierdzenie Nasha-Williamsa; twierdzenie Ellentucka; zasada indukcji

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Wiadomości Matematyczne
• Rocznik: 2015
• Tom: T. 51, Nr 1
• Strony: 1--5
• Opis fizyczny: Bibliogr. 4 poz.

Twórcy

autor

Solecki S.

• Department of Mathematics, University of Illinois

Bibliografia

• [1] E. Ellentuck, A new proof that analytic sets are Ramsey, J. Symbolic Logic 39 (1974), 163-165.
• [2] C. S. J. A. Nash-Williams, On well-quasi-ordering transfinite sequences, Proc. Cambridge Philos. Soc. 61 (1965), 33-39.
• [3] F. Ramsey, On a problem of formal logic, Proc. London Math. Soc. 30 (1930), 264-286.
• [4] S. Todorčevic, Introduction to Ramsey Spaces, Annals of Mathematics Studies, t. 174, Princeton University Press 2010.

Uwagi

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę.