FUNDAMENTALS OF SET THEORY

Name: FUNDAMENTALS OF SET THEORY
Availability: OutOfStock
Rating: 3.8 (65 reviews)

MATH 570

课程描述

Introduces the basic concepts of Set Theory including: Set-theoretical paradoxes and means of avoiding them, sets, relations, functions, orders and well-orders, proof by transfinite induction and definitions by transfinite recursion, cardinal and ordinal numbers and their arithmetic, construction of the real numbers, the axiom of choice and its consequences.

先修课程

(MATH 234 and MATH 467 ) or (MATH 341 , MATH 375 , MATH 421 or MATH 521 ) or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program

满足要求

This course does not satisfy any prerequisites.

学分

未报告

开课时间

未报告

平均绩点

2.89

-3.7% 相比历史数据

完成率

77.78%

-11.31% 相比历史数据

A率

33.33%

-1.52% 相比历史数据

班级规模

10.77% 相比历史数据

Cumulative Grade Distribution

教师 (2026 Summr)

按评分排序，数据来自 Rate My Professors

相似课程

FOUNDATIONS OF MATHEMATICS

MATH 770

First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.

INTRODUCTION TO DISCRETE MATHEMATICS

COMPSCI/MATH 240

Basic concepts of logic, sets, partial order and other relations, and functions. Basic concepts of mathematics (definitions, proofs, sets, functions, and relations) with a focus on discrete structures: integers, bits, strings, trees, and graphs. Propositional logic, Boolean algebra, and predicate logic. Mathematical induction and recursion. Invariants and algorithmic correctness. Recurrences and asymptotic growth analysis. Fundamentals of counting.

MODEL THEORY

MATH 776

Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.

ANALYSIS I

MATH 521

The real numbers, elements of set theory, metric spaces and basic topology, sequences and series, limits, continuity, differentiation, integration, sequences and series of functions, uniform convergence.

SET THEORY

MATH 771

Martin's Axiom, Suslin and Aronszajn trees, diamond principle, absoluteness and reflection, constructible universe, and one-step forcing constructions. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.