Výsledky vyhledávání
- 1.0433873 - MÚ 2015 RIV US eng J - Článek v odborném periodiku
Doucha, Michal
F-sigma equivalence relations and Laver forcing.
Journal of Symbolic Logic. Roč. 79, č. 2 (2014), s. 644-653. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA100190902
Institucionální podpora: RVO:67985840
Klíčová slova: Borel equivalence relations * Laver ideal * canonical Ramsey theorem
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.541, rok: 2014
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9287231&fileId=S0022481213000327
Trvalý link: http://hdl.handle.net/11104/0238075Název souboru Staženo Velikost Komentář Verze Přístup Doucha2.pdf 1 117.6 KB Vydavatelský postprint vyžádat - 2.0384238 - MÚ 2013 RIV NL eng J - Článek v odborném periodiku
Doucha, Michal
Canonizing certain Borel equivalences for Silver forcing.
Topology and its Applications. Roč. 159, č. 13 (2012), s. 2973-2979. ISSN 0166-8641. E-ISSN 1879-3207.
[Prague Symposium on General Topology and its Relations to Modern Analysis and Algebra /11./. Prague, 07.08.2011-12.08.2011]
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Borel equivalence relations * silver ideal * canonical Ramsey theorem
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.562, rok: 2012
http://www.sciencedirect.com/science/article/pii/S0166864112002180#
Trvalý link: http://hdl.handle.net/11104/0213948Název souboru Staženo Velikost Komentář Verze Přístup Doucha.pdf 1 178.9 KB Vydavatelský postprint vyžádat - 3.0377483 - MÚ 2013 RIV NL eng J - Článek v odborném periodiku
Pudlák, Pavel
A lower bound on the size of resolution proofs of the Ramsey theorem.
Information Processing Letters. Roč. 112, 14-15 (2012), s. 610-611. ISSN 0020-0190. E-ISSN 1872-6119
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * Ramsey theorem * resolution proofs
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.488, rok: 2012
http://www.sciencedirect.com/science/article/pii/S0020019012001275
Trvalý link: http://hdl.handle.net/11104/0209628Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 102.4 KB Vydavatelský postprint vyžádat - 4.0369652 - MÚ 2012 RIV DE eng J - Článek v odborném periodiku
Krajíček, Jan
A note on propositional proof complexity of some Ramsey-type statements.
Archive for Mathematical Logic. Roč. 50, 1-2 (2011), s. 245-255. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: proof complexity * Ramsey theorem * resolution
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.341, rok: 2011
http://www.springerlink.com/content/q27255801x225772/
Trvalý link: http://hdl.handle.net/11104/0203666Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 2 188.1 KB Vydavatelský postprint vyžádat