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
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 Victoria University of Wellington
This PDF covers the following topics related to Set Theory, Introduction, Wellorders and Ordinals, Classes and Transfinite Recursion, Cardinals, Zorns Lemma, Ramseys Theorem, Loss Theorem, Cumulative Hierarchy, Relativization, Measurable Cardinals, Godels Constructible Universe, BanachTarski Paradox.
Author(s): Victoria University of Wellington
60 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
