Cargando…
Set theory an introduction to independence proofs
Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing.The book first tackles the foundations of set theory an...
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
North-Holland
1984
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1999929 |
Sumario: | Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing.The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and |
---|