Undergraduate Course: Naive and Axiomatic Set Theory (MATH10034)
Course Outline
| School | School of Mathematics |
College | College of Science and Engineering |
| Course type | Standard |
Availability | Available to all students |
| Credit level (Normal year taken) | SCQF Level 10 (Year 4 Undergraduate) |
Credits | 10 |
| Home subject area | Mathematics |
Other subject area | Specialist Mathematics & Statistics (Honours) |
| Course website |
https://info.maths.ed.ac.uk/teaching.html |
Taught in Gaelic? | No |
| Course description | Course for final year students in Honours programmes in Mathematics.
1. Development in naive set theory of Cantor's basic results on cardinals and ordinals.
2. The Schroder-Bernstein Theorem and cardinal arithmetic, including exponentiation.
3. Ordinal number theory, the Axiom of Choice and Zorn's Lemma.
4. The formal axiomatic ZFC set theory and the role of the axioms in mathematics, including Power set, Choice, and Replacement. |
Entry Requirements (not applicable to Visiting Students)
| Pre-requisites |
|
Co-requisites | |
| Prohibited Combinations | |
Other requirements | None |
| Additional Costs | None |
Information for Visiting Students
| Pre-requisites | None |
| Displayed in Visiting Students Prospectus? | Yes |
Course Delivery Information
| Not being delivered |
Summary of Intended 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. |
Assessment Information
15% Coursework/85% Examination.
Visiting Student Variant Assessment
15% Coursework/85% Examination. |
Special Arrangements
| None |
Additional Information
| Academic description |
Not entered |
| Syllabus |
Not entered |
| Transferable skills |
Not entered |
| Reading list |
Not entered |
| Study Abroad |
Not entered |
| Study Pattern |
Not entered |
| Keywords | NAS |
Contacts
| Course organiser | Dr Tom Mackay
Tel: (0131 6)50 5058
Email: T.Mackay@ed.ac.uk |
Course secretary | Mrs Alison Fairgrieve
Tel: (0131 6)50 5045
Email: Alison.Fairgrieve@ed.ac.uk |
|
|
University Homepage