Abstract Algebra Algebra Algebraic Geometry Algebraic Topology Applied Mathematics Arithmetic Geometry Basic Algebra Basic Mathematics Calculus Category Theory Classical Analysis Combinatorics Commutative Algebra Complex Algebra Complex Analysis Differential Algebra Differential Analysis Differential Calculus Differential Equations Differential Geometry Differential Topology Discrete Mathematics Elliptic Curves Fourier Analysis Functional Analysis Fractals Fractional Calculus Geometric Algebra Geometry Geometric Topology Groups Theory Graph Theory Harmonic Analysis Higher Algebra History of Mathematics Homological Algebra Integral Calculus K-theory Lie Algebra Linear Algebra Mathematical Analysis Mathematical Series Modern Geometry Multivairable Calculus Number Theory Numerical Analysis Probability Theory Real Analysis Rings and Fileds Riemannian Geometry Theorems in Calculus Topology Trigonometry Set Theory Constants & Numerical Sequences
Set Theory and Forcing Lecture Notes by Jean louis Krivine
This PDF covers the following topics related to Set Theory and Forcing, Introduction, Axioms of Set Theory, Class Relations, Functions, Families of Sets and Cartesian Products, Ordinals and Cardinals, Classes and Sets, WellOrderings and Ordinals, Inductive Definitions, Stratified or Ranked Classes, Ordinal Arithmetic, Cardinals and Their Arithmetic, Foundation, Relativization, Consistency of the Axiom of Foundation, Inaccessible Ordinals and Models of ZFC, The Reflection Scheme, Formalizing Logic in U, Model Theory for Uformulas, Ordinal Definability and Inner Models of ZFC, The Principle of Choice, Constructibility, Formulas and Absoluteness, The Generalized Continuum Hypothesis in L, Forcing, Generic Extensions, Mostowski Collpase of a Wellfounded Relation, Construction of Generic Extensions, Definition of Forcing, etc.
Author(s): Jean-louis Krivine
65 Pages 
These notes are meant as an introduction to descriptive set theor y. This book contains below topics, Borel Sets and the Borel Hierarchy, Analytic Sets, Reductions, Uniformization.
Author(s): Matthew Foreman
55 Pages
Universal Proof Theory TACL 2022 Lecture Notes
This note contains below topics, Origins of Proof Theory, Flavours of Proof Theory, The Logics, Hilbert Systems, Natural Deduction, Sequent Calculi.
Author(s): Rosalie Iemhoff, Raheleh Jalali
52 Pages
Set Theory by University of California Riverside
This PDF covers the following topics related to Set Theory, General considerations, Basic concepts, Constructions in set theory, Relations and functions, Number systems and set theory, Infinite constructions in set theory, The Axiom of Choice and related properties, Set theory as a foundation for mathematics.
Author(s): University of California Riverside
214 Pages
Descriptive Set Theory by David Marker
This note covers the following topics, Classical Descriptive Set Theory, Polish Spaces, Borel Sets, Effective Descriptive Set Theory, The Arithmetic Hierarchy, Analytic Sets, Coanalytic Sets, Determinacy, Hyperarithmetic Sets, Borel Equivalence Relations, Equivalence Relations, Tame Borel Equivalence Relations, Countable Borel Equivalence Relations, Hyperfinite Equivalence Relations.
Author(s): David Marker
105 Pages
This note explains the following topics, The language of set theory and wellformed formulas, Classes vs. Sets, Notational remarks, Some axioms of ZFC and their elementary, Consequences, From Pairs to Products, Relations, Functions, Products and sequences, Equivalence Relations and Order Relations, Equivalence relations, partitions and transversals, A Game of Thrones, Prisoners and Hats, Wellorders, Wellfounded relations and the Axiom of Foundation, Natural Numbers, The construction of the set of natural numbers, Arithmetic on the set of natural numbers, Equinumerosity, Finite sets, To infinity and beyond, Construction of various number systems, Integers, Rational numbers, Real numbers, Ordinal numbers.
Author(s): Burak Kaya
91 Pages
This note covers the following topics, Logic, Elementary Set Theory, Generic Sets And Forcing, Infinite Combinatorics, Pcf, Continuum Cardinals.
Author(s): J. Donald Monk
602 Pages
Set theory is the branch of mathematical logic that studies sets, which informally are collections of objects. Topics covered includes, The Axioms of Set Theory, The Natural Numbers, The Ordinal Numbers, Relations and Orderings, Cardinality, There Is Nothing Real About The Real Numbers, The Universe, Reflection, Elementary Submodels and Constructibility.
Author(s): Professor William A. R. Weiss
119 Pages
Set Theory for Computer Science
The aim is to introduce fundamental concepts and techniques in set theory in preparation for its many applications in computer science. Topics covered includes, Mathematical argument, Sets and Logic, Relations and functions, Constructions on sets, Inductive definitions, Wellfounded induction, Inductivelydefined classes and FraenkelMostowski sets.
Author(s): Glynn Winskel
141 Pages