• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

Petr Šimon

Hong Kong Polytechnic University
  •  Home
  •  Publications
    3
    • Most Recent
    • Most Downloaded
    • Topics
  •  News and Updates

 More details
  • Hong Kong Polytechnic University
    Graduate student
  • All publications (3)
  •  63
    Weak partition properties on trees
    with Michael Hrušák and Ondřej Zindulka
    Archive for Mathematical Logic 52 (5-6): 543-567. 2013.
    We investigate the following weak Ramsey property of a cardinal κ: If χ is coloring of nodes of the tree κ \mathfrak{d}}$ is regular, then ${{\kappa \rightsquigarrow (\kappa)^{ < \omega}_{\omega}}}$ and that ${\mathfrak{b}}$ ${(\mathfrak{b})^{ < \omega}_{\omega}}$ and ${\mathfrak{d}}$ ${(\mathfrak{d})^{ < \omega}_{\omega}}$ . The arrow is applied to prove a generalization of a theorem of Hurewicz: A Čech-analytic space is σ-locally compact iff it does not contain a closed homeomorphic copy of i…Read more
    We investigate the following weak Ramsey property of a cardinal κ: If χ is coloring of nodes of the tree κ \mathfrak{d}}$ is regular, then ${{\kappa \rightsquigarrow (\kappa)^{ < \omega}_{\omega}}}$ and that ${\mathfrak{b}}$ ${(\mathfrak{b})^{ < \omega}_{\omega}}$ and ${\mathfrak{d}}$ ${(\mathfrak{d})^{ < \omega}_{\omega}}$ . The arrow is applied to prove a generalization of a theorem of Hurewicz: A Čech-analytic space is σ-locally compact iff it does not contain a closed homeomorphic copy of irrationals
    Areas of Mathematics
  •  98
    The name for Kojman–Shelah collapsing function
    with Bohuslav Balcar
    Annals of Pure and Applied Logic 109 (1): 131-137. 2001.
    In the previous paper of this volume, Kojman and Shelah solved our long standing problem of collapsing cardinal κ0 to ω1 by the forcing for singular κ with countable cofinality. The aim of the present paper is to give an explicit construction of the Boolean matrix for this collapse.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, MiscellaneousModel Theory
  •  261
    B. Balcar and F. Franek. Independent families in complete Boolean algebras. Transactions of the American Mathematical Society, vol. 274 (1982), pp. 607–618. - Bohuslav Balcar, Jan Pelant, and Petr Simon. The space of ultrafilters on N covered by nowhere dense sets. Fundamenta mathematicae, vol. 110 (1980), pp. 11–24. - Boban Velickovic. OCA and automorphisms of P(ω)/fin. Topology and its applications, vol. 49 (1993), pp. 1–13
    with Klaas Pieter Hart, B. Balcar, F. Franek, Bohuslav Balcar, Jan Pelant, and Boban Velickovic
    Bulletin of Symbolic Logic 8 (4): 554. 2002.
    Model TheoryNonclassical Logics
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback