•  
    • Pavel Hrubes
    • (Institute of Mathematics)
    • An interesting (?) problem equivalent to Continuum Hypothesis
    • Abstract:
    • I will discuss a problem which came up in the context of machine learning, and which ended up being undecidable in ZFC. The flavor is similar to the so-called Axioms of Symmetry of Freiling. Based on a work with B. Shai-David, S. Moran, A. Shpilka, A. Yehudayoff.
    • 04.06.18   14:00
    • Emil Jerabek
    • (Institute of Mathematics)
    • Rigid models of Presburger arithmetic
    • Abstract:
    • While all first-order theories have plenty of models with many automorphisms (e.g., saturated), models with few automorphisms are harder to come by, and their existence varies with the theory. In the extreme case of rigid models (= with no nontrivial automorphism), some theories have no rigid models at all (such as divisible ordered abelian groups), while e.g. Peano arithmetic has many: every model of PA has a rigid elementary end-extension of the same cardinality. In this talk, we will give a complete description of rigid models of Presburger arithmetic Th(Z,+,
    • 28.05.18   14:00

    Pavel Pudlak, Neil Thapen
    organizers

  •