04-10-0572-vu Selected Topics in Logic: Proof Mining

Lehrende: Dr. Pedro Pinto

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Sel Top Logic & Comp

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
We introduce the bounded functional interpretation and discuss some particular instances of Proof Mining. Contents include:

• The Bounded Functional Interpretation;
  
• Interpretation of the metric projection;
  
• Removal of sequential weak compactness;
  
• Selected cases of proof mining.
  

Literatur:
There will be lecture notes, which include a list of further references.

Voraussetzungen:
Crucial prerequisites is the course "Introduction to Mathematical Logic" (or the course "Aussagen- und Prädikatenlogik", for Computer Scientists).

(Ideally, but not strictly necessary, participants should be familiar with the content of the lecture "Applied Proof Theory" given in the SoSe 2022.)

Online-Angebote:
Moodle