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
Ancora nessuna valutazione
Oct 5, 1995 · Inglese · Copertina rigida (176 pagine)
Aggiungi alla mensola

Valuta questo libro

Esporta diario dei libri

Dettagli del libro

Formato Copertina rigida
Pagine 176
Lingua Inglese
Pubblicato Oct 5, 1995
Editore Clarendon Press
ISBN-10 0198514778
ISBN-13 9780198514770

Descrizione

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.

Generi

Religione e Spiritualità

Libri simili

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
Aggiungi alla mensola

Valuta questo libro

Esporta diario dei libri