<--- Back to Details
First PageDocument Content
Set theory / Berry paradox / Constructible universe / Ordinal numbers / Computability theory / Definable real number / Proof theory / Ordinal definable set / Mathematical logic / Mathematics / Philosophy of mathematics
Date: 2008-05-15 07:08:03
Set theory
Berry paradox
Constructible universe
Ordinal numbers
Computability theory
Definable real number
Proof theory
Ordinal definable set
Mathematical logic
Mathematics
Philosophy of mathematics

Lecture 4: Is that Really Revising Logic? König’s paradox (and Berry’s variant). Let L be any language whose formulas are finite strings of finitely many basic symbols. Then (K1)

Add to Reading List

Source URL: www.philosophy.ox.ac.uk

Download Document from Source Website

File Size: 116,51 KB

Share Document on Facebook

Similar Documents

Formale Systeme II: Theorie Axiomatic Set Theory SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich

Formale Systeme II: Theorie Axiomatic Set Theory SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich

DocID: 1xVeL - View Document

Large Cardinals and Determinacy Peter Koellner September 12, 2011 The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis

Large Cardinals and Determinacy Peter Koellner September 12, 2011 The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis

DocID: 1vgbX - View Document

LOGIC AND C∗ -ALGEBRAS: SET THEORETICAL DICHOTOMIES IN THE THEORY OF CONTINUOUS QUOTIENTS ALESSANDRO VIGNATI  A DISSERTATION SUBMITTED TO THE FACULTY OF GRADUATE STUDIES

LOGIC AND C∗ -ALGEBRAS: SET THEORETICAL DICHOTOMIES IN THE THEORY OF CONTINUOUS QUOTIENTS ALESSANDRO VIGNATI A DISSERTATION SUBMITTED TO THE FACULTY OF GRADUATE STUDIES

DocID: 1uVFh - View Document

Constructive Mathematics in Constructive Set Theory Nicola Gambino University of Palermo  MALOA Worskhop

Constructive Mathematics in Constructive Set Theory Nicola Gambino University of Palermo MALOA Worskhop

DocID: 1uKHm - View Document

E  volution is a “unifying theory” of biology and a key component of the science curriculum in many states. However, teachers are challenged in how to teach this complex set of facts and concepts

E volution is a “unifying theory” of biology and a key component of the science curriculum in many states. However, teachers are challenged in how to teach this complex set of facts and concepts

DocID: 1uBbK - View Document