dc.contributor.advisor | Stejskalová, Šárka | |
dc.creator | Roubínek, David | |
dc.date.accessioned | 2024-10-11T06:56:00Z | |
dc.date.available | 2024-10-11T06:56:00Z | |
dc.date.issued | 2024 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/195041 | |
dc.description.abstract | In this work Ramsey's theorems are proven and the arrow notation for partition calculus is defined. In capter 5 we prove Erdős-Dushnik-Miller theorem and its generalization for un- countable regular cardinals. This provides the basis for discussing partition relations with sources ω, ω1, ω2 or ℵω. 1 | en_US |
dc.description.abstract | V práci jsou dokázány Ramseyovy věty a definována šipkovací notace pro partition calculus. V páté kapitole je dokázána Erdős-Dushnik-Millerova věta a její zobecnění pro nespo- četné regulární kardinály. To slouží jako základ k diskuzi rozkladových relací, kde je jako zdroj ω, ω1, ω2 a ℵω. 1 | cs_CZ |
dc.language | Čeština | cs_CZ |
dc.language.iso | cs_CZ | |
dc.publisher | Univerzita Karlova, Filozofická fakulta | cs_CZ |
dc.subject | Ramsey's theorem|graph|clique|independent set | en_US |
dc.subject | Ramseyova věta|graf|klika|nezavislá množina | cs_CZ |
dc.title | Ramseyovy věty a jejich zobecnění na nespočetné kardinály | cs_CZ |
dc.type | bakalářská práce | cs_CZ |
dcterms.created | 2024 | |
dcterms.dateAccepted | 2024-09-05 | |
dc.description.department | Department of Logic | en_US |
dc.description.department | Katedra logiky | cs_CZ |
dc.description.faculty | Faculty of Arts | en_US |
dc.description.faculty | Filozofická fakulta | cs_CZ |
dc.identifier.repId | 243841 | |
dc.title.translated | Ramsey theorems and their generalizations for uncountable cardinals | en_US |
dc.contributor.referee | Honzík, Radek | |
thesis.degree.name | Bc. | |
thesis.degree.level | bakalářské | cs_CZ |
thesis.degree.discipline | Logika | cs_CZ |
thesis.degree.discipline | Logic | en_US |
thesis.degree.program | Logic | en_US |
thesis.degree.program | Logika | cs_CZ |
uk.thesis.type | bakalářská práce | cs_CZ |
uk.taxonomy.organization-cs | Filozofická fakulta::Katedra logiky | cs_CZ |
uk.taxonomy.organization-en | Faculty of Arts::Department of Logic | en_US |
uk.faculty-name.cs | Filozofická fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Arts | en_US |
uk.faculty-abbr.cs | FF | cs_CZ |
uk.degree-discipline.cs | Logika | cs_CZ |
uk.degree-discipline.en | Logic | en_US |
uk.degree-program.cs | Logika | cs_CZ |
uk.degree-program.en | Logic | en_US |
thesis.grade.cs | Dobře | cs_CZ |
thesis.grade.en | Good | en_US |
uk.abstract.cs | V práci jsou dokázány Ramseyovy věty a definována šipkovací notace pro partition calculus. V páté kapitole je dokázána Erdős-Dushnik-Millerova věta a její zobecnění pro nespo- četné regulární kardinály. To slouží jako základ k diskuzi rozkladových relací, kde je jako zdroj ω, ω1, ω2 a ℵω. 1 | cs_CZ |
uk.abstract.en | In this work Ramsey's theorems are proven and the arrow notation for partition calculus is defined. In capter 5 we prove Erdős-Dushnik-Miller theorem and its generalization for un- countable regular cardinals. This provides the basis for discussing partition relations with sources ω, ω1, ω2 or ℵω. 1 | en_US |
uk.file-availability | V | |
uk.grantor | Univerzita Karlova, Filozofická fakulta, Katedra logiky | cs_CZ |
thesis.grade.code | 3 | |
uk.publication-place | Praha | cs_CZ |
uk.thesis.defenceStatus | O | |