THE UNIVERSITY of EDINBURGH

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2015/2016

University Homepage
DRPS Homepage
DRPS Search
DRPS Contact
DRPS : Course Catalogue : School of Mathematics : Mathematics

Undergraduate Course: Naive and Axiomatic Set Theory (MATH10034)

Course Outline
SchoolSchool of Mathematics CollegeCollege of Science and Engineering
Credit level (Normal year taken)SCQF Level 10 (Year 4 Undergraduate) AvailabilityAvailable to all students
SCQF Credits10 ECTS Credits5
SummaryCourse for final year students in Honours programmes in Mathematics.

1. Development in naive set theory of Cantor's basic results.
2. The Schröder-Bernstein Theorem and cardinal arithmetic, including exponentiation.
3. Ordinal number theory, the Axiom of Choice and Zorn's Lemma.
4. Formal axiomatic set theory and the role of the axioms in mathematics, including Power set, Choice, and Replacement.
Course description Not entered
Entry Requirements (not applicable to Visiting Students)
Pre-requisites Co-requisites
Prohibited Combinations Other requirements None
Information for Visiting Students
Pre-requisitesNone
Course Delivery Information
Not being delivered
Learning Outcomes
1. To understand how to set up the language of set theory.
2. To understand and use the concepts of transfinite cardinal and ordinal arithmetic.
3. To understand an axiom system for set theory.
Reading List
None
Additional Information
Course URL https://info.maths.ed.ac.uk/teaching.html
Graduate Attributes and Skills Not entered
KeywordsNAS
Contacts
Course organiserDr Martin Dindos
Tel:
Email:
Course secretaryMrs Alison Fairgrieve
Tel: (0131 6)50 5045
Email:
Navigation
Help & Information
Home
Introduction
Glossary
Search DPTs and Courses
Regulations
Regulations
Degree Programmes
Introduction
Browse DPTs
Courses
Introduction
Humanities and Social Science
Science and Engineering
Medicine and Veterinary Medicine
Other Information
Combined Course Timetable
Prospectuses
Important Information
 
© Copyright 2015 The University of Edinburgh - 27 July 2015 11:35 am