The universe constructed from a sequence of ordinals

Archive for Mathematical Logic 35 (5-6):371-383 (1996)
  Copy   BIBTEX

Abstract

We prove that if $V = L [s]$ where $s$ is an $\omega$ -sequence of ordinals then the GCH holds

Categories

Keywords

Reprint years

DOI

10.1007/s001530050051

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Operating on the universe.Narciso Garcia - 1988 - Archive for Mathematical Logic 27 (1):61-68.
Register computations on ordinals.Peter Koepke & Ryan Siders - 2008 - Archive for Mathematical Logic 47 (6):529-548.
A cosmological argument for a self caused universe (2008).Quentin Smith - unknown
A Covering Lemma for HOD of K (ℝ).Daniel W. Cunningham - 2010 - Notre Dame Journal of Formal Logic 51 (4):427-442.
On the Velickovic ∆-property for the stepping up functions C and ρ.Charles Morgan - unknown
Turing computations on ordinals.Peter Koepke - 2005 - Bulletin of Symbolic Logic 11 (3):377-397.
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones. [REVIEW]Andreas Weiermann - 1995 - Archive for Mathematical Logic 34 (5):313-330.
Proof theory for theories of ordinals—I: recursively Mahlo ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
Dna sequences from below: A nominalist approach.Yu Lin & Peter Simons - unknown
On series of ordinals and combinatorics.James P. Jones, Hilbert Levitz & Warren D. Nichols - 1997 - Mathematical Logic Quarterly 43 (1):121-133.
A functorial property of the Aczel-Buchholz-Feferman function.Andreas Weiermann - 1994 - Journal of Symbolic Logic 59 (3):945-955.
Recantation or any old w-sequence would do after all.Paul Benacerraf - 1996 - Philosophia Mathematica 4 (2):184-189.
Countable unions of simple sets in the core model.P. D. Welch - 1996 - Journal of Symbolic Logic 61 (1):293-312.
A Theory of Operations on the Universe I. The Theory of Iteration and F‐Ordinals.Narciso Garcia - 1991 - Mathematical Logic Quarterly 37 (25):385-392.
Finitary sequence spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):416-430.

Analytics

Added to PP
2013-11-23

Downloads
55 (#284,290)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

W. Hugh Woodin
Harvard University

Citations of this work

The Transfinite Universe.W. Hugh Woodin - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 449.

Add more citations

References found in this work

No references found.

Add more references