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
Sets, Relations, Functions
This note covers the following topics: Introduction to sets, Subsets, power sets, equality of sets, Finite and infinite sets, Set operations, De Morgan rules, distributivity, tables, Ordered pairs, Cartesian products, Introduction to relations, Ordering relations, Equivalence relations and Functions.
Author(s): Ivo Duntsch and Gunther Gediga
NA 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
This book contains below topics, and discuss how Boolean ultr apowers can be applied in urelement set theory, ZFCU R Collection A, Over ZFUR, for every cardinal, the following are equivalent, DC scheme, If duplication holds over A A, then homogeneity holds over A, Assume Tail and AC A Duplication holds over some set of urelements, Over ZFCUR, the following implications hold, DC Ord Collection, RP Collection.
Author(s): Bokai Yao
114 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
This note describes the following topics, Propositional calculus, Well orderings and ordinals, Posets and Zorns lemma, Predicate logic, Set theory, Cardinals and incompleteness.
Author(s): I B Leader
70 Pages
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
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
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
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