Set Theory with a Universal Set: Exploring an Untyped Universe
Oxford Logic Guides #31

Set Theory with a Universal Set: Exploring an Untyped Universe

T.E. Forster
Nog geen beoordelingen
1995 · Engels · Hardcover · 2 editions
Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren

Beschrijving

T.E. Forster delves into the intriguing realm of set theory, inviting readers to explore the concept of a universal set and its implications within mathematics. This exploration addresses the historical significance and ongoing discussions surrounding the existence of a set that contains all sets, pushing the boundaries of conventional understanding.

In illuminating this complex universe, Forster weaves together foundational principles and contemporary interpretations, offering insights that resonate with both newcomers and seasoned mathematicians. The work encourages a deeper appreciation for the richness of set theory and its foundational role in the broader landscape of mathematical thought.

Boekdetails

Formaat Hardcover
Pagina's 176 pagina's
Taal Engels
Gepubliceerd Oct 5, 1995
Uitgever Clarendon Press
Edities 2 editions
ISBN-10 0198514778
ISBN-13 9780198514770

Genres

Religie & Spiritualiteit

Vergelijkbare boeken

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Giovanni Sambin
Computability and Randomness

Computability and Randomness

André Nies
Category Theory

Category Theory

Steve Awodey
Interpolation and Definability: Modal and Intuitionistic Logic

Interpolation and Definability: Modal and Intuitionistic Logic

Dov M. Gabbay
Set Theory: Boolean-Valued Models and Independence Proofs

Set Theory: Boolean-Valued Models and Independence Proofs

J.L. Bell
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

David J. Pym
Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium

Peter T. Johnstone
Algebraic Methods in Philosophical Logic

Algebraic Methods in Philosophical Logic

J. Michael Dunn
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Giovanni Sambin
Computability and Randomness

Computability and Randomness

André Nies
Category Theory

Category Theory

Steve Awodey
Interpolation and Definability: Modal and Intuitionistic Logic

Interpolation and Definability: Modal and Intuitionistic Logic

Dov M. Gabbay
Set Theory: Boolean-Valued Models and Independence Proofs

Set Theory: Boolean-Valued Models and Independence Proofs

J.L. Bell
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

David J. Pym
Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium

Peter T. Johnstone
Algebraic Methods in Philosophical Logic

Algebraic Methods in Philosophical Logic

J. Michael Dunn
Elements of Intuitionism

Elements of Intuitionism

Michael Dummett
Temporal Logic: Mathematical Foundations and Computational Aspects (Volume 2)

Temporal Logic: Mathematical Foundations and Computational Aspects (Volume 2)

Dov M. Gabbay
Model Theory

Model Theory

Maria Manzano
Fibring Logics

Fibring Logics

Dov M. Gabbay
Modal Logic

Modal Logic

Alexander Chagrov
Set Theory and the Continuum Problem

Set Theory and the Continuum Problem

Raymond M. Smullyan
Geometric Stability Theory

Geometric Stability Theory

Anand Pillay
Elementary Categories, Elementary Toposes

Elementary Categories, Elementary Toposes

Colin McLarty
Labelled Deductive Systems: Volume 1. Oxford Logic Guides 33.

Labelled Deductive Systems: Volume 1. Oxford Logic Guides 33.

Dov M. Gabbay
Features and Fluents: The Representation of Knowledge About Dynamical SystemsVolume 1

Features and Fluents: The Representation of Knowledge About Dynamical SystemsVolume 1

Erik Sandewall
Groups of Finite Morley Rank

Groups of Finite Morley Rank

Alexandre V. Borovik
Cardinal Arithmetic

Cardinal Arithmetic

Saharon Shelah
Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren