Erwin Schrödinger International Institute for Mathematics and Physics (ESI) Courses

From Topology to Combinatorics - Lecture 4

Explore the Ginsburg-Sands theorem's surprising connection to Ramsey's theorem, bridging topology and combinatorics through reverse mathematics and computability theory.

• YouTube
• 53 minutes
• Self-Paced
• Free Video

Reverse Mathematics for Analysis - An Introduction - Lecture 1

Explore reverse mathematics foundations and the "big five" subsystems of second-order arithmetic, then study open/closed sets and continuous functions on Polish spaces for analysis.

• YouTube
• 59 minutes
• Self-Paced
• Free Video

From Topology to Combinatorics - Lecture 3

Explore the Ginsburg-Sands theorem's surprising connection to Ramsey's theorem, bridging topology and combinatorics through reverse mathematics and computability theory.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

Computable Structure Theory - Lecture 4

Explore fundamental results and tools from computable structure theory and their applications within reverse mathematics framework.

• YouTube
• 56 minutes
• Self-Paced
• Free Video

Lowness and Avoidance - A Guide to Separation - Lecture 3

Explore advanced separation techniques in reverse mathematics through effective forcing and the central forcing question concept.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

From Topology to Combinatorics - Lecture 2

Explore the Ginsburg-Sands theorem's surprising connection to Ramsey's theorem, bridging topology and combinatorics through reverse mathematics and computability theory.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Computable Structure Theory - Lecture 2

Explore fundamental results and tools from computable structure theory and their applications within reverse mathematics framework.

• YouTube
• 56 minutes
• Self-Paced
• Free Video

Computable Structure Theory - Lecture 3

Explore fundamental results and tools from computable structure theory and their applications within reverse mathematics framework.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

Lowness and Avoidance - A Guide to Separation - Lecture 2

Explore effective forcing techniques and separation methods in reverse mathematics to prove non-equivalence between mathematical statements through lowness and avoidance concepts.

• YouTube
• 57 minutes
• Self-Paced
• Free Video

Lowness and Avoidance - A Guide to Separation - Lecture 1

Explore separation techniques in reverse mathematics through effective forcing and the forcing question to prove non-equivalence between mathematical statements.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

From Topology to Combinatorics - Lecture 1

Explore the fascinating connection between topology and combinatorics through reverse mathematics, focusing on the Ginsburg-Sands theorem and its surprising link to Ramsey's theorem.

• YouTube
• 49 minutes
• Self-Paced
• Free Video

Computable Structure Theory - Lecture 1

Explore fundamental results and tools from computable structure theory and their applications within reverse mathematics framework.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

Some Reducibilities in Computability Theory

Explore recent results on reducibilities and degree structures in computability theory, covering interactions with classical computability, constructive mathematics, and reverse mathematics.

• YouTube
• 48 minutes
• Self-Paced
• Free Video

Generic Muchnik Reducibility

Explore generic Muchnik reducibility extending classical reducibility to uncountable structures, mixing descriptive set theory with forcing constructions in computable model theory.

• YouTube
• 49 minutes
• Self-Paced
• Free Video

Higher Type Recursion in Transfinite Computational Models

Explore higher type recursion through infinite time Turing machines and discover analogies with Kleene's Type 2 computation model in this advanced mathematical talk.

• YouTube
• 44 minutes
• Self-Paced
• Free Video