Coding the universe / A. Beller, Department of Computer Science, Temple University, and Department of Decision Science, The Wharton School, University of Pennsylvania, R. Jensen, Mathematisches Institut, University of Freiburg, P. Welch, Mathematical Institute, University of Oxford.

Title	Coding the universe / A. Beller, Department of Computer Science, Temple University, and Department of Decision Science, The Wharton School, University of Pennsylvania, R. Jensen, Mathematisches Institut, University of Freiburg, P. Welch, Mathematical Institute, University of Oxford.
Publication Date:	1982
Publication Place	Cambridge [Cambridgeshire] ; New York - Cambridge University Press, 1982.
Subject	Axiomatic set theory, Logic, Symbolic and mathematica
Type	Book
Language	Arabic
Digital	No
Manuscript	No
Pages Count	353
Physical Dimensions	23 cm
Library:	The Institute for Advanced Study (IAS)
Record ID	3100001~!1402~!78
Library Location	Math Stacks
Date	1982
Notes	Includes bibliographical references (pages 347-348) and indexes., Current Copyright Fee: GBP22.50. Includes bibliographical references (pages 347-348) and indexes., Current Copyright Fee: GBP22.50. 1402. 353 pages ; 23 cm
Sample Text	"Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set theory together with the Generalized Continuum Hypothesis by using a class 'forcing' construction. By this method they extend M to another model L[a] with the same properties. L[a] is Godel's universe of constructible sets L, together with a set of integers a which code all the cardinality and cofinality structure of M. Some applications are also considered." - publisher
İçindekiler	The building blocks -- The conditions -- Distributivity -- The denoument -- Applications -- The fine-structural lemmas -- The Cohen-generic sets -- How to get rid of " ¬0#" -- Some further applications.
ISBN	9780521280402, 0521280400, 0521280404, 0521280400, 0521280480
Seri	London Mathematical Society lecture note series 47, London Mathematical Society lecture note series 47.

View in source The Institute for Advanced Study (IAS)

The Institute for Advanced Study (IAS)

Coding the universe / A. Beller, Department of Computer Science, Temple University, and Department of Decision Science, The Wharton School, University of Pennsylvania, R. Jensen, Mathematisches Institut, University of Freiburg, P. Welch, Mathematical Institute, University of Oxford.

Publication Date 1982

Publication Place Cambridge [Cambridgeshire] ; New York - Cambridge University Press, 1982.

Subject Axiomatic set theory, Logic, Symbolic and mathematica

Type Book

Language Arabic

Digital No

Manuscript No

Pages Count 353

Physical Dimensions 23 cm

Library The Institute for Advanced Study (IAS)

Record ID 3100001~!1402~!78

Library Location Math Stacks

Date 1982

Notes Includes bibliographical references (pages 347-348) and indexes., Current Copyright Fee: GBP22.50. Includes bibliographical references (pages 347-348) and indexes., Current Copyright Fee: GBP22.50. 1402. 353 pages ; 23 cm

Sample Text "Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set theory together with the Generalized Continuum Hypothesis by using a class 'forcing' construction. By this method they extend M to another model L[a] with the same properties. L[a] is Godel's universe of constructible sets L, together with a set of integers a which code all the cardinality and cofinality structure of M. Some applications are also considered." - publisher

İçindekiler The building blocks -- The conditions -- Distributivity -- The denoument -- Applications -- The fine-structural lemmas -- The Cohen-generic sets -- How to get rid of " ¬0#" -- Some further applications.

ISBN 9780521280402, 0521280400, 0521280404, 0521280400, 0521280480

Seri London Mathematical Society lecture note series 47, London Mathematical Society lecture note series 47.