Search results

  1. 1.
    0422163 - MÚ 2014 RIV GB eng B - Monography
    Kanovei, V. - Sabok, M. - Zapletal, Jindřich
    Canonical Ramsey Theory on Polish Spaces.
    1. - Cambridge: Cambridge University Press, 2013. 269 s. Cambridge Tracts in Mathematics, 202. ISBN 978-1-107-02685-8
    R&D Projects: GA MŠk MEB051006; GA MŠk MEB060909; GA AV ČR IAA100190902
    Institutional research plan: CEZ:AV0Z10190503
    Institutional support: RVO:67985840
    Keywords : Borel equivalence-relations * sigma-porous sets * closed-sets
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0228363
     
     
  2. 2.
    0393022 - MÚ 2014 RIV CH eng B - Monography
    Pudlák, Pavel
    Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction.
    1. - Heidelberg: Springer, 2013. 695 s. Springer Monographs in Mathematics. ISBN 978-3-319-00118-0. ISSN 1439-7382
    R&D Projects: GA AV ČR IAA100190902
    Institutional research plan: CEZ:AV0Z10190503
    Institutional support: RVO:67985840
    Keywords : mathematical logic * foundations of mathematics * set-theoretical foundations * incompleteness theorems
    Subject RIV: BA - General Mathematics
    http://link.springer.com/book/10.1007/978-3-319-00119-7/page/1
    Permanent Link: http://hdl.handle.net/11104/0221789
     
     
  3. 3.
    0369674 - MÚ 2012 RIV GB eng B - Monography
    Krajíček, Jan
    Forcing with Random Variables and Proof Complexity.
    1st ed. - Cambridge: Cambridge University Press, 2011. 247 s. London Mathematical Society Lecture Note Series, 382. ISBN 978-0-521-15433-8
    R&D Projects: GA AV ČR IAA100190902; GA MŠk LC505; GA AV ČR IAA1019401
    Institutional research plan: CEZ:AV0Z10190503
    Keywords : computational complexity * random variables * mathematical analysis
    Subject RIV: BA - General Mathematics
    http://www.cambridge.org/gb/knowledge/isbn/item5705272/?site_locale=en_GB
    Permanent Link: http://hdl.handle.net/11104/0203685