UNIVERSITY OF GOTHENBURG · SWEDEN
Advanced topics in proof theory
Master's · Taught in en · UCAS GU-24168
At a glance
2 mo
Duration
6.0
IELTS
€2k
Tuition / yr
en
Language
Master's
Level
- 7.5ECTS credits
- Autumn 2026Intake
- 50%Study Pace
- CampusStudy Location
- EnglishLanguage of Instruction
This Master's level course offers an in-depth exploration of advanced proof theory, a field where mathematics and philosophy intersect to study formal reasoning. You will delve into current research topics, including strong arithmetics, set theory, infinitary logic, and theories of truth and provability, examining both traditional and innovative proof systems. The course emphasizes critical analysis, equipping you with the skills to dissect complex arguments, assess various methodologies, and formulate your own reasoned viewpoints. By engaging with research-level material, you will enhance your capacity to analyze, discuss, and write about sophisticated theoretical issues, preparing you for advanced academic pursuits or careers in logic and related disciplines. It is ideal for students seeking a profound engagement with the theory and philosophy behind mathematical proof.
Frequently asked questions
- What are the tuition fees for this programme?
- The total education cost is 19,250 SEK, paid in installments. Non-EU/EEA citizens also pay a 900 SEK application fee. EU/EEA citizens, Swedish residence permit holders, and exchange students do not pay tuition fees.
- What are the entry requirements for this Master's programme?
- You need to have successfully completed Proof Theory (LOG221) or an equivalent course. Your admission will be based on your credits from previous university studies, with a maximum of 165 credits considered.
- What is the application deadline for the Autumn 2026 intake?
- The application period is from March 16 to April 15, 2026. For new students starting in the autumn semester, the tuition fee payment deadline is May 1st.
- What is the language of instruction for this programme?
- The language of instruction for this programme is English.
- Are there any scholarships available for international students?
- Scholarships for fee-paying students are available and their value can be variable. More information on eligibility and application can be found on the University of Gothenburg's website.
- What is the total cost and payment schedule for the programme?
- The total education cost is 19,250 SEK, with payments made by bank transfer or card. For new students starting in the autumn semester, the payment must be made by May 1st.
Entry requirements
Previous University StudiesSuccessful completion of Proof Theory (LOG221) or equivalent is required. Selection is based on credits from previous university studies (maximum 165 credits).
English ProficiencyEquivalent to English 6
EU/EEA citizens, Swedish residence permit holders, and exchange students are exempt from tuition fees.
Fees
Tuition (international)19,250 SEK per installment.
Tuition (home)No fees for EU/EEA citizens, Swedish residence permit holders, and exchange students.
LivingNot specified.
The total education cost is 19,250 SEK. Payments are made via bank transfer or card. A 900 SEK application fee applies to non-EU/EEA citizens. Payments must be made by May 1st for new students starting in the autumn semester.
How to apply
1. Apply OnlineSubmit an online application via universityadmissions.se during the application period.
2. Pay Application FeeIf you are a citizen of a country outside the EU/EEA/Switzerland, you must pay a 900 SEK application fee when applying.
3. Receive NotificationYou will receive a notification of selection results.
4. Pay Tuition FeeIf you are admitted and are a fee-paying student, you will receive an email with instructions on how to pay the tuition fee. The first payment is 19,250 SEK and must be paid by May 1st for the autumn semester.
Scholarships
Scholarships for fee-paying studentsVariable
Frequently asked questions
What are the tuition fees for this programme?
+
The total education cost is 19,250 SEK, paid in installments. Non-EU/EEA citizens also pay a 900 SEK application fee. EU/EEA citizens, Swedish residence permit holders, and exchange students do not pay tuition fees.
What are the entry requirements for this Master's programme?
+
You need to have successfully completed Proof Theory (LOG221) or an equivalent course. Your admission will be based on your credits from previous university studies, with a maximum of 165 credits considered.
What is the application deadline for the Autumn 2026 intake?
+
The application period is from March 16 to April 15, 2026. For new students starting in the autumn semester, the tuition fee payment deadline is May 1st.
What is the language of instruction for this programme?
+
The language of instruction for this programme is English.
Are there any scholarships available for international students?
+
Scholarships for fee-paying students are available and their value can be variable. More information on eligibility and application can be found on the University of Gothenburg's website.
What is the total cost and payment schedule for the programme?
+
The total education cost is 19,250 SEK, with payments made by bank transfer or card. For new students starting in the autumn semester, the payment must be made by May 1st.