Record: YesLevel: GraduateLanguage: EnglishPrerequisiteCompletion of undergraduate course on logic, set theory or automata theory is recommended. But all interested students are welcome.AbstractThis is an advanced undergraduate and graduate-level course in mathematical logic and theory of computation. Topics to be presented in the first semester include: computable functions, undecidability, pr...
Record: NoLevel: GraduateLanguage: EnglishPrerequisiteAlgebraic geometry (background in algebraic number theory will be helpful)AbstractPrismatic cohomology, which is developed in a recent work of Bhatt-Scholze, is a cohomology theory for schemes over p-adic rings. It is considered to be an overarching cohomology theory in p-adic geometry, unifying etale, de Rham, and crystalline cohomology. Du...