Forcing for Mathematicians by Nik Weaver

By Nik Weaver

Ever considering Paul Cohen's superb use of the forcing idea to end up the independence of the continuum speculation from the normal axioms of set concept, forcing has been obvious through the overall mathematical group as a subject matter of serious intrinsic curiosity yet person who is technically so forbidding that it is just obtainable to experts. long ago decade, a sequence of exceptional ideas to long-standing difficulties in C*-algebra utilizing set-theoretic equipment, many completed through the writer and his collaborators, have generated new curiosity during this topic. this can be the 1st ebook aimed toward explaining forcing to common mathematicians. It concurrently makes the topic generally available through explaining it in a transparent, easy demeanour, and surveys complex purposes of set thought to mainstream topics.

Show description

Read or Download Forcing for Mathematicians PDF

Similar logic books

18 Unconventional Essays on the Nature of Mathematics

This publication collects one of the most attention-grabbing fresh writings which are tackling, from a number of issues of view, the matter of giving an accounting of the character, goal, and justification of actual mathematical practice–mathematics as truly performed through genuine reside mathematicians. what's the nature of the gadgets being studied?

Computable Structures and the Hyperarithmetical Hierarchy (Studies in Logic and the Foundations of Mathematics)

This ebook describes a software of study in computable constitution conception. The objective is to discover definability stipulations equivalent to bounds on complexity which persist less than isomorphism. the implications practice to prevalent sorts of buildings (groups, fields, vector areas, linear orderings Boolean algebras, Abelian p-groups, types of arithmetic).

Proceedings of the 13th Asian Logic Conference (Proceedings of the Asian Logic Conference)

This quantity presents a discussion board which highlights new achievements and overviews of contemporary advancements of the thriving common sense teams within the Asia-Pacific sector. It comprises papers by way of prime logicians and likewise a few contributions in computing device technological know-how logics and philosophic logics.

Introduction to Mathematical Logic, Sixth Edition (Discrete Mathematics and Its Applications)

The recent version of this vintage textbook, advent to Mathematical good judgment, 6th version explores the imperative issues of mathematical common sense. It covers propositional good judgment, first-order common sense, first-order quantity thought, axiomatic set idea, and the speculation of computability. The textual content additionally discusses the foremost result of Gödel, Church, Kleene, Rosser, and Turing.

Additional info for Forcing for Mathematicians

Example text

Download PDF sample

Rated 4.16 of 5 – based on 41 votes