250088 VO Model theory (2014S)
Labels
Ort: Seminarraum des Gödel Research Centers, Währinger Straße 25, 1090 Wien, 2. Stock, Zimmer O2.101Beginn: 04. März 2014
Di 15:45 - 17:15
Di 15:45 - 17:15
Details
Language: German
Examination dates
Lecturers
Classes
Currently no class schedule is known.
Information
Aims, contents and method of the course
Model theory is a branch of mathematical logic concerned with axiomatizations (theories) and their structures (models).This course is intended to give an introduction and overview to basic methods and results, mainly in the context of first order logic. Basic previous knowledge in mathematical logic (including Gödel's completeness theorem) would be helpful.
Assessment and permitted materials
Oral exams by the end of the course.
Minimum requirements and assessment criteria
Examination topics
Reading list
Chang, Keisler "Model Theory" (North Holland),
David Marker "Model Theory: An Introduction" (Springer)Only parts of the books will be treated. Purchase is not required.
David Marker "Model Theory: An Introduction" (Springer)Only parts of the books will be treated. Purchase is not required.
Association in the course directory
MLOV
Last modified: We 19.08.2020 08:05