|
Showing 1 - 1 of
1 matches in All Departments
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 easy consistency
proofs, including relativization, absoluteness, reflection
theorems, properties of well-founded sets, and induction and
recursion on well-founded relations. The publication examines
constructible sets, forcing, and iterated forcing. Topics include
Easton forcing, general iterated forcing, Cohen model, forcing with
partial functions of larger cardinality, forcing with finite
partial functions, and general extensions. The manuscript is a
dependable source of information for mathematicians and researchers
interested in set theory.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R205
R168
Discovery Miles 1 680
Loot
Nadine Gordimer
Paperback
(2)
R205
R168
Discovery Miles 1 680
|