๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Set Theory. An Introduction to Independence Proofs

โœ Scribed by Kenneth Kunen

Book ID
127453763
Publisher
North Holland
Year
1983
Tongue
English
Weight
2 MB
Series
Studies in Logic and the Foundations of Mathematics 102
Edition
1
Category
Library
ISBN-13
9780444868398
ISSN
0049-237X

No coin nor oath required. For personal study only.

โœฆ Synopsis

Paperback. Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This book provides an introduction to relative consistency proofs in axiomatic set theory, and is intended to be used as a text in beginning graduate courses in that subject. It is hoped that this treatment will make the subject accessible to those mathematicians whose research is sensitive to axiomatics. The readers should have had the equivalent of an undergraduate course on cardinals and ordinals, but no specific training in logic is necessary.

The volume includes a discussion of modern techniques in forcing, as well as coverage of infinitary combinatorics and its relevance to independence proofs. The work also features a lucid treatment of basic facts about constructibility.

๐Ÿ“œ SIMILAR VOLUMES

Proof Theory. An Introduction
Proof Theory. An Introduction
โœ Cantini, Andrea; Pohlers, Wolfram ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 321 KB
Proof Theory: An Introduction
Proof Theory: An Introduction
โœ Wolfram Pohlers (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 1989 ๐Ÿ› Springer ๐ŸŒ English โš– 10 MB

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of ele

Proof Theory. An Introduction
Proof Theory. An Introduction
โœ Wolfram Pohlers, Pohlers ๐Ÿ“‚ Library ๐Ÿ“… 1989 ๐Ÿ› Springer ๐ŸŒ English โš– 2 MB

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of ele