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
لا توجد تقييمات بعد
Oct 5, 1995 · الإنجليزية · غلاف صلب (176 صفحات)
أضف إلى الرف

قيم هذا الكتاب

تصدير مجلة الكتاب

تفاصيل الكتاب

تنسيق غلاف صلب
صفحات 176
لغة الإنجليزية
منشور Oct 5, 1995
الناشر Clarendon Press
رقم ISBN-10 0198514778
رقم ISBN-13 9780198514770

الوصف

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.

الأنواع

دين وروحانيات

كتب مشابهة

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
أضف إلى الرف

قيم هذا الكتاب

تصدير مجلة الكتاب