Cancelled Logic in Analysis and Topology
Course content
This course is an introduction to how basic concepts in logic and set theory connect to general topology (e.g., metric spaces) and analysis. Specifically, we will introduce:
- The metric space X_L of countable models of a countable first order language L.
- Logic with infinitary conjunction ("and") and disjunction ("or"), which will give us a new language called L_{\omega_1,\omega}, whose formulas can express more than formulas in ordinary first order logic can.
- The use of ordinals in logic and analysis.
- We will introduce Borel sets, which you were already introduced to briefly in measure theory and analysis courses, and we will analyse and describe the Borel sets using ordinals and the formulas of the language L_{\omega_1,\omega}.
- The "logic action" on the space X_L, and Scott's analysis of isomorphism of countable models of a countable language.
- The "Baire Category Theorem", and its applications in logic and model theory, such as the "Omitting Types Theorem".
- The "Baire Property" of sets.
- Analytic sets and co-analytic sets and their basic theory.
- If time allows, we may also briefly discuss "Continuous Logic", where truth values between 0 and 1 (true and false) are permitted.
MSc Programme in Mathematics
MSc Programme in Mathematics with a minor subject
- Knowledge: To display knowledge of the course topics and content.
- Skills: The aim is that, upon completing the course, the student should have the skills that would allow the student to read a short research paper in this field of mathematics.
- Competences: The student should be able to apply the theory to solve problems of moderate difficulty within the topics of the course.
The course will be taught in a "flipped classroom"
format for the first 5 weeks of the block. This means that each
week, the students will be given 2 screencast video lectures (each
video lecture approx. 45 minutes), and these videos will be the
basis of an in-person traditional double (2 hour) lecture in a
classroom. The students will also be given tasks and questions
related to the videos (i.e., the screencast lectures) to prepare
for the in-class discussion. There will also be 2 hours of
exercises per week for the first 5 weeks of the block. During this
phase of the course, there will be 1 mandatory homework assignment
worth 45% of the course grade. The expected workload on this
homework assignment is 20 hours.
For the remaining 3 weeks of the block, each student will write a
short independent project on a topic related to the course
material. The choice of topic for the independent project will be
made in agreement with the lecturer. The course lecturer may set
certain exercises or problems to be a required part of the
independent project, if this is deemed relevant by the course
lecturer. The lecturer and tutor (exercise instruktor) will be
available for consultation for 1 hour/week each during the project
phase of the course.
Examples of literature:
Lecture notes will be provided for some topics.
For other topics, we might use parts of the following:
- D. Marker: Model Theory: An Introduction (Springer, GTM 217)
- A. Kechris: Classical Descriptive Set Theory (Springer, GTM 156).
- K. Kunen: Set Theory (North Holland, 1980 edition is preferred over the newer, revised version).
It is strongly recommended that you have already taken the
course "NMAA13036U Introduction to Mathematical Logic",
or a similar course (covering the same material) in first order
logic and set theory.
Additionally, it is strongly recommended that you have already
taken a course such as "NMAA04016U Analysis 1" covering
the basics of metric spaces, and a course such as "Lebesgue
Integral and Measure theory" covering the basics of measure
theory.
Overall, academic qualifications equivalent to a BSc degree are
recommended.
- ECTS
- 7,5 ECTS
- Type of assessment
-
Continuous assessment
- Type of assessment details
- Continuing evaluation based on 1 problem set (assignment), and 1 written project. Towards the final grade, the problem set counts 45%, and the written project counts 55%.
- Aid
- All aids allowed
- Marking scale
- 7-point grading scale
- Censorship form
- No external censorship
One internal examiner
Criteria for exam assessment
The student should convincingly and accurately demonstrate the knowledge, skills and competences described under Intended learning outcome.
Single subject courses (day)
- Category
- Hours
- Lectures
- 10
- Preparation
- 106
- Theory exercises
- 10
- Project work
- 54
- Guidance
- 6
- Exam
- 20
- English
- 206
Kursusinformation
- Language
- English
- Course number
- NMAK23010U
- ECTS
- 7,5 ECTS
- Programme level
- Full Degree Master
- Duration
-
1 block
- Placement
- Block 1
- Schedulegroup
-
B
- Capacity
- No limit
The number of seats may be reduced in the late registration period - Studyboard
- Study Board of Mathematics and Computer Science
Contracting department
- Department of Mathematical Sciences
Contracting faculty
- Faculty of Science
Course Coordinator
- Asger Dag Törnquist (6-65776b697678447165786c326f7932686f)
Are you BA- or KA-student?
Courseinformation of students