## Axiomatic Set Theory

**Author**: Patrick Suppes

**Editor:**Courier Corporation

**ISBN:**0486136876

**Size**: 13,79 MB

**Format:**PDF, Kindle

**Read:**788

Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition.

## Axiomatic Set Theory

**Author**: R.B. Chuaqui

**Editor:**Newnes

**ISBN:**9780080871622

**Size**: 11,63 MB

**Format:**PDF, ePub, Mobi

**Read:**378

Axiomatic Set Theory

## Introduction To Axiomatic Set Theory

**Author**: G. Takeuti

**Editor:**Springer Science & Business Media

**ISBN:**1468499157

**Size**: 17,35 MB

**Format:**PDF, Kindle

**Read:**600

In 1963, the first author introduced a course in set theory at the Uni versity of Illinois whose main objectives were to cover G6del's work on the consistency of the axiom of choice (AC) and the generalized con tinuum hypothesis (GCH), and Cohen's work on the independence of AC and the GCH. Notes taken in 1963 by the second author were the taught by him in 1966, revised extensively, and are presented here as an introduction to axiomatic set theory. Texts in set theory frequently develop the subject rapidly moving from key result to key result and suppressing many details. Advocates of the fast development claim at least two advantages. First, key results are highlighted, and second, the student who wishes to master the sub ject is compelled to develop the details on his own. However, an in structor using a "fast development" text must devote much class time to assisting his students in their efforts to bridge gaps in the text. We have chosen instead a development that is quite detailed and complete. For our slow development we claim the following advantages. The text is one from which a student can learn with little supervision and instruction. This enables the instructor to use class time for the presentation of alternative developments and supplementary material.

## Axiomatic Set Theory

**Author**: G. Takeuti

**Editor:**Springer Science & Business Media

**ISBN:**1468487515

**Size**: 11,51 MB

**Format:**PDF, Docs

**Read:**792

This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models. Our main concern will be the development of a unified theory that encompasses these techniques in one comprehensive framework. Consequently we will focus on certain funda mental and intrinsic relations between these methods of model construction. Extensive applications will not be treated here. This text is a continuation of our book, "I ntroduction to Axiomatic Set Theory," Springer-Verlag, 1971; indeed the two texts were originally planned as a single volume. The content of this volume is essentially that of a course taught by the first author at the University of Illinois in the spring of 1969. From the first author's lectures, a first draft was prepared by Klaus Gloede with the assistance of Donald Pelletier and the second author. This draft was then rcvised by the first author assisted by Hisao Tanaka. The introductory material was prepared by the second author who was also responsible for the general style of exposition throughout the text. We have inc1uded in the introductory material al1 the results from Boolean algebra and topology that we need. When notation from our first volume is introduced, it is accompanied with a deflnition, usually in a footnote. Consequently a reader who is familiar with elementary set theory will find this text quite self-contained.

## Axiomatic Set Theory

**Author**:

**Editor:**

**ISBN:**

**Size**: 13,96 MB

**Format:**PDF, Kindle

**Read:**922

## Models And Proofs Of Independence In Axiomatic Set Theory

**Author**: Elliot Mendelson

**Editor:**

**ISBN:**

**Size**: 17,34 MB

**Format:**PDF, Docs

**Read:**220

## Introduction To Axiomatic Set Theory

**Author**: J.L. Krivine

**Editor:**Springer Science & Business Media

**ISBN:**9401031444

**Size**: 12,31 MB

**Format:**PDF, ePub

**Read:**820

This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. Three examples of such models are investigated in Chapters VI, VII, and VIII; the most important of these, the class of constructible sets, leads to G6del's result that the axiom of choice and the continuum hypothesis are consistent with the rest of set theory [1]I. The text thus constitutes an introduction to the results of P. Cohen concerning the independence of these axioms [2], and to many other relative consistency proofs obtained later by Cohen's methods. Chapters I and II introduce the axioms of set theory, and develop such parts of the theory as are indispensable for every relative consistency proof; the method of recursive definition on the ordinals being an import ant case in point. Although, more or less deliberately, no proofs have been omitted, the development here will be found to require of the reader a certain facility in naive set theory and in the axiomatic method, such e as should be achieved, for example, in first year graduate work (2 cycle de mathernatiques).

## Axiomatic Set Theory Part 1

**Author**: Dana S. Scott

**Editor:**American Mathematical Soc.

**ISBN:**9780821802458

**Size**: 18,31 MB

**Format:**PDF, ePub, Mobi

**Read:**669

## Axiomatic Set Theory Part 2

**Author**: Dana S Scott Pure Mathematics Symposium Staff

**Editor:**American Mathematical Soc.

**ISBN:**9780821867785

**Size**: 15,26 MB

**Format:**PDF

**Read:**193

## Axiomatic Set Theory

**Author**: Paul Bernays

**Editor:**Dover Publications

**ISBN:**9780486666372

**Size**: 19,17 MB

**Format:**PDF

**Read:**968

A monograph containing a historical introduction by A. A. Fraenkel to the original Zermelo-Fraenkel form of set-theoretic axiomatics, and Paul Bernaysâ€™ independent presentation of a formal system of axiomatic set theory. No special knowledge of set thory and its axiomatics is required. With indexes of authors, symbols and matters, a list of axioms and an extensive bibliography.