Das Seminar bietet eine Einführung in das Studium von Nichtstandard-Modellen der Peano-Arithmetik. Grundlage ist das Buch von Richard Kaye, "Models of Peano-Arithmetic".

 

Vorbesprechung: 21.1.2025, 14:00 s.t. im SR 1D

Kurs im HIS-LSF

Semester: ST 2025
Test field: WT 2025/26
ePortfolio: No