Historical snapshot — AY2015/2016 Semester 2 · View current offering →
ModsMH4301AY2015/2016 Semester 2
Set Theory And Logic
AY2015/2016 Semester 2
Partially-ordered sets, well-orderings and order-types, induction and recursion on ordinals, ordinal arithmetic, cardinals, cardinal arithmetic. Axiom of choice and its equivalences. Axiom of determinacy. Propositional calculus. Truth tables, validity and contradictions. Predicate calculus with equality. Completeness and compactness theorems. Lowenheim-Skolem theorem.
| AUs | 4.0 AUs |
| Categories | CoreMinorsBDE |
| Exam |
Available Indexes
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| 930 | |||||
| 1000 | |||||
| 1030 | |||||
| 1100 | |||||
| 1130 | |||||
| 1200 | |||||
| 1230 | |||||
| 1300 | |||||
| 1330 | |||||
| 1400 | |||||
| 1430 | |||||
| 1500 | |||||
| 1530 | |||||
| 1600 | |||||
| 1630 | |||||
| 1700 | |||||
| 1730 | |||||
| 1800 |