Ordinal definable set

#	Item
1	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 Language: English - 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
2	Postdoctoral Position in the Philosophy of Set Theory The Hyperuniverse: Laboratory of the Infinite The KGRC (Kurt Goedel Research Center, University of Vienna) will serve as host for the Hyperuniverse Project, an invest Add to Reading List Source URL: www.logic.univie.ac.at Language: English - Date: 2012-08-27 04:39:52 Inner model theory Large cardinals Axioms of set theory Ordinal definable set Zermelo–Fraenkel set theory Von Neumann universe Absoluteness Reflection principle Core model Mathematical logic Set theory Mathematics
3	MFPS[removed]Continuity of Gödel’s system T definable Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-06-03 06:05:55 Mathematics Ordinal numbers Set theory Proof theory General topology Jensen hierarchy Ordinal arithmetic Mathematical logic Symbol Constructible universe