Homepage » Talks

Talks

  • Ali Enayat (University of Gothenburg)

                    Self-embeddings of models of arithmetic: from Vaught to Tanaka

  • Ali Enayat (University of Gothenburg)

                    Self-embeddings of models of arithmetic: some recent results

  • Henri-Alex Esbelin (University Blaise Pascal, Clermont-Ferrand)

                    Reciprocity laws and Δ0-definability

  • Yiannis N. Moschovakis (UCLA)

                    Intrinsic complexity in arithmetic (and algebra)

  • Ján Pich (Charles University, Prague)

                    Circuit lower bounds in Bounded Arithmetic

  • Tin Lok Wong (University of Ghent)

                    End-extensions of models of second-order arithmetic

  • Tin Lok Wong (University of Ghent)

                    The generic choice of a cut