fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Coding the universe

Coding the universe

by A. Beller

Axiomatic set theorySymbolic and mathematical LogicMathematics, philosophy
0.0
Open Library
Open Library

About this book

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 Gödels 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. Graduate students and research workers in set theory and logic will be especially interested by this account.

Themes & subjects

Axiomatic set theorySymbolic and mathematical LogicMathematics, philosophy

Author

A. Beller

Pages

360

Read time

≈ 9h

Editions

5

Language

English

Publisher

Cambridge University Press

ISBN

9781299403772

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Set theory and its logic

Axiomatic set theory · Logic, Symbolic and mathematical

Set theory and its logic

Willard Van Orman Quine

1963

Proper and Improper Forcing

Forcing (Model theory) · Axiomatic set theory

Proper and Improper Forcing

Saharon Shelah

1997

Set Theory

Set theory · Boolean Algebra

Set Theory

John L. Bell

2005

Introduction to axiomatic set theory

Axiomatic set theory · Mathematics

Introduction to axiomatic set theory

Gaisi Takeuti

1971

Axiomatic set theory

Axiomatic set theory · Set theory

Axiomatic set theory

Patrick Suppes

1960

The axiom of choice

Axiom of choice · Axiomatic set theory

The axiom of choice

Thomas J. Jech

1973

Constructible sets in real geometry

Algebraic Geometry · Constructibility (Set theory)

Constructible sets in real geometry

Carlos Andradas

1996

Boolean-valued models and independence proofs in set theory

Algebra, Boolean · Axiomatic set theory

Boolean-valued models and independence proofs in set theory

John L. Bell

1977

Axiomatic set theory

Axiomatic set theory

Axiomatic set theory

Paul Bernays

1958

Consequences of Martin's axiom

Combinatorial analysis · Martin's axiom

Consequences of Martin's axiom

D. H. Fremlin

1984

Tractatus logico-philosophicus

Analysis (Philosophy) · Language

Tractatus logico-philosophicus

Ludwig Wittgenstein

1921

An Investigation of the Laws of Thought (Barnes & Noble)

Symbolic and mathematical Logic · Thought and thinking

An Investigation of the Laws of Thought (Barnes & Noble)

George Boole

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

Louis Couturat

1905

The Game of Logic

Symbolic and mathematical Logic · Logic

The Game of Logic

Lewis Carroll

1886

Gödel's proof

Gödel's theorem · Mathematics

Gödel's proof

Ernest Nagel

1958

Philosophische Untersuchungen

German Philosophy · Langage et langues

Philosophische Untersuchungen

Ludwig Wittgenstein

1953

Mathematics and plausible reasoning

Symbolic and mathematical Logic · Textbooks

Mathematics and plausible reasoning

George Pólya

1954

Gödel, Escher, Bach

Logics · Teoria Do Conhecimento

Gödel, Escher, Bach

Douglas R. Hofstadter

1979