Name: Introduction to Axiomatic Set Theory (en Inglés)
Price: 321.35 PEN
Availability: InStock
Author: Krivine, J. L. ; Miller, David
ISBN: 9789027704115

portada Introduction to Axiomatic Set Theory (en Inglés)

Introduction to Axiomatic Set Theory (en Inglés)

Formato

Libro Físico

Autor

J. L. Krivine

Traducido por

David Miller

Editorial

Springer

Idioma

Inglés

N° páginas

103

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 0.6 cm

Peso

0.17 kg.

ISBN13

9789027704115

Categorías

Lógica matemática
Filosofía: lógica
Jardinería

Introduction to Axiomatic Set Theory (en Inglés)

J. L. Krivine (Autor) · David Miller (Traducido por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 13 a 18 días háb.

S/ 714,12S/ 321,35

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

S/ 321,35

Llega entre el 04 Ago y el 13 Ago a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Introduction to Axiomatic Set Theory (en Inglés)"

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).