9.3 Descriptive Set Theory
An introduction to Polish spaces, Borel sets, analytic sets, projective sets, regularity properties, and the role of definability in set theory.
Tag
Definability
3 notes
6.1 Definable Sets and Functions
Definition of definable sets and functions in first order structures, with parameters, examples, closure properties, and proofs.
Chapter 6. Definability and Types
Definable sets, definable functions, types, realizations, saturated models, stability theory, and classification programs.