Cantitate/Preț
Produs

Set Theory An Introduction To Independence Proofs: Studies in Logic and the Foundations of Mathematics, cartea 102

Autor K. Kunen
en Limba Engleză Hardback – 30 noi 1983
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.
Citește tot Restrânge

Din seria Studies in Logic and the Foundations of Mathematics

Preț: 32760 lei

Preț vechi: 38730 lei
-15% Nou

Puncte Express: 491

Preț estimativ în valută:
6270 6512$ 5208£

Carte tipărită la comandă

Livrare economică 27 ianuarie-10 februarie 25
Livrare express 27 decembrie 24 - 02 ianuarie 25 pentru 9426 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780444868398
ISBN-10: 0444868399
Pagini: 330
Ilustrații: 1
Dimensiuni: 150 x 225 x 21 mm
Greutate: 0.44 kg
Ediția:New ed.
Editura: ELSEVIER SCIENCE
Seria Studies in Logic and the Foundations of Mathematics


Cuprins

The Foundations of Set Theory. Infinitary Combinatorics. The Well-Founded Sets. Easy Consistency Proofs. Defining Definability. The Constructible Sets. Forcing. Iterated Forcing. Bibliography. Indexes.