Závěrečná práce: Jan Sadílek: Kardinální aritmetika
Bakalářská práce
Kardinální aritmetika
Cardinal arithmetic
Anotace
V této bakalářské práci se věnujeme vlastnostem kardinálních čísel a operací na nich. V prvních dvou kapitolách zavedeme pojmy mohutnosti množiny, kardinálního čísla, kardinálního součtu, součinu, mocniny a kofinálu a uvedeme základní věty o jejich chování. Poslední kapitola je úvodem do teorie velkých kardinálů. Studujeme nedosažitelné, Mahlovy a slabě kompaktní kardinály a jejich různé charakterizace.
Abstract
In this thesis we study the properties of cardinal numbers and operations on them. In the first two chapters we introduce the concepts of cardinality, cardinal numbers, cardinal addition, multiplication, exponentiation and cofinality and we state key theorems describing them. The last chapter is an introduction to the theory of large cardinals. We study inaccessible, Mahlo and weakly compact cardinals and their various characterisations.
Klíčová slova
Kardinální číslo Kardinální součet Kardinální součin Kardinální mocnina Kofinální množina Kofinál Nedosažitelný kardinál Mahlův kardinál Slabě kompaktní kardinál Strom Cardinal number Cardinal addition Cardinal multiplication Cardinal exponentiation Cofinal set Cofinality Inaccessible cardinal Mahlo cardinal Weakly compact cardinal TreeZadání práce
21. 5. 2021 07:04, prof. RNDr. Jiří Rosický, DrSc., učo 2634
Literatura
- BALCAR, Bohuslav a Petr ŠTĚPÁNEK. Teorie množin. Vyd. 1. Praha: Academia, 1986, 412 s.
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Rozevírání
Mgr. Pavla Dražďáková -
Environmentální historie bastionové fortifikace a IPM Josefov
Mgr. et Mgr. Bc. Tomáš Jirouch -
Strom ve světle platné právní úpravy
Bc. Šárka Hanousková -
Multimediální diskrétní matematika
RNDr. Pavla Zagorová, učo 4386 -
V zahradě
Mgr. Bc. Markéta Jandová -
Lesem, hlínou, rituálem
Mgr. Alena Svačinková -
Strom jako symbol v historii lidstva
Bc. Lucie Prasličáková -
Literární tvorba Zuzany Brabcové
Mgr. Dominika Chudárková, učo 125130




