Related papers: Lectures on Ordinal Analysis
The talk contains a short introduction to mesonic Chiral Perturbation Theory (ChPT). In addition four disparate areas where some progress has been made in recent years are discussed. These are the last fit of the order $p^4$…
Notes from 11 October 2004 lecture presented at the Joint Institute for Nuclear Astrophysics R-Matrix School at Notre Dame University.
This text is a slightly edited version of lecture notes for a course I gave at ETH, during the Winter term 2000-2001, to undergraduate Mathematics and Physics students. Contents: Chapter 1 - Examples of Dynamical Systems Chapter 2 -…
Notions of ordinal submodularity/supermodularity have been introduced and studied in the literature. We consider several classes of ordinally submodular functions defined on finite Boolean lattices and give characterizations of the set of…
MiniCalc is a web app for teaching first-order logic based on a minimal sequent calculus. As an option the proofs can be verified in the Isabelle proof assistant. We present the lessons learned using the tool in recent years at our…
These are notes to accompany four lectures that I gave at the School on Additive Combinatorics, held in Montreal, Quebec between March 30th and April 5th 2006. My aim is to introduce ``quadratic fourier analysis'' in so far as we understand…
Ordinal analysis is a research program wherein recursive ordinals are assigned to axiomatic theories. According to conventional wisdom, ordinal analysis measures the strength of theories. Yet what is the attendant notion of strength? In…
These are notes for a mini-course given at the summer school and conference "The Six-Functor Formalism and Motivic Homotopy Theory" in Milan 9/2021. They provide an introduction to the formalism of Grothendieck's six operations in algebraic…
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013. Topics covered in these notes include the untyped lambda…
These lecture notes are based on lectures given in 2019 Saint-Flour Probability School.
Notes for a course at the H.-C. R. I., Allahabad, 15 August 2008 -- 26 January 2009
These are lecture notes that are based on the lectures from a class I taught on the topic of Spectral Graph Methods at UC Berkeley during the Spring 2015 semester.
Notes for a Course on Probability and Statistics: L1: Elements of Probability; L2: Bayesian Inference; L3: Monte Carlo Methods
These are expanded notes from a four lecture mini-course given by the author at the Spring School on Non-archimedean geometry and Eigenvarieties, held at the University of Heidelberg in March 2023. The course discusses coherent sheaves,…
These are the lecture notes of an introductory course on ordinal analysis. Our selection of topics is guided by the aim to give a complete and direct proof of a mathematical independence result: Kruskal's theorem for binary trees is…
These are lecture notes for a 1-semester undergraduate course (in computer science, mathematics, physics, engineering, chemistry or biology) in applied categorical meta-language. The only necessary background for comprehensive reading of…
These are informal lecture notes for a three-hour minicourse on Kac-Moody groups, given at the workshop "Kac-Moody geometry" in July 2023 in Kiel. They provide a concise overview of the book "An introduction to Kac-Moody groups over…
These are expanded notes of a two-semester course on Lie groups and Lie algebras given by the author at MIT.
This document presents the contents of three lectures delivered by the author at the Erd\H{o}s Center School ``Optimal Transport on Quantum Structures'', Septemer 19-23, 2022 in Budapest, Hungary. It presents a fairly self contained account…
This article gives an account of a teaching experience carried out from 2008 to 2021 at the university of Franche-Comt{\'e} as an answer to the ministerial command of proposing cross-disciplinary courses in the curricula. The goal of the…