Projects of Logic and Combinatorics

Original assignment list is to be found here .


    Completed Projects

  1. Project: Compton Survey, Sections 3 and 4.
    Gadi Aleksandrowicz: gadial -at- cs, graduate Ph.D.
    Nadia Labai: sndlabai -at- t2.technion.ac.il, undergrad
    Slides .
  2. Project: 0-1 laws for ESOL
    Iddo Bentov: idddo -at- cs, graduate M.Sc.
    Haggai Eran: haggaie -at- cs, graduate M.Sc.
    Slides .
  3. Project: 0-1 law for existential monadic second order logic: Counter examples
    Meirav Zehavi: meizeh -at- tx.technion.ac.il, graduate M.Sc.
    Slides .

    Almost complete

  4. Project: Kotek-Makowsky paper
    Daniel Genkin: danielg3 -at- cs, graduate M.Sc.
    Ofir David: sofirdav -at- t2.technion.ac.il, undergrad
    Slides .

    Still incomplete

  5. Project: Compton Survey, Section 6
    Shaked Flur: fshaked -at- cs, graduate M.Sc.
  6. Project: Pikhurko-Verbitsky paper
    Alon Aviel: alon_aviel -at- yahoo.com
    Pavel Furman: spavel89 -at- t2.technion.ac.il, undergrad
    Pavel Furman: pfp1989 -at- gmail.com
  7. Project: DU-index
    Hani Ayoub: hani.ayoub -at- gmail.com, undergrad
    Hani Ayoub: suse -at- t2.technion.ac.il,