Annals of Pure and Applied Logic 52 (1-2):93-97 (1991)

Authors
W. Hugh Woodin
Harvard University
Abstract
We prove a strong boundedness theorem for dilators: if A ⊆ DIL is Σ 1 1 , then there is a recursive dilator D 0 such that ∀ D ∈ A
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(91)90041-j
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,714
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

[Product]¹2-Logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
Π12-Logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
Boundedness Theorems for Dilators and Ptykes.Alexander S. Kechris - 1991 - Annals of Pure and Applied Logic 52 (1-2):79-92.
Boundedness Theorems for Dilators and Ptykes.Alexander Kechris - 1991 - Annals of Pure and Applied Logic 52 (1-2):79-92.

Add more references

Citations of this work BETA

Boundedness Theorems for Dilators and Ptykes.Alexander S. Kechris - 1991 - Annals of Pure and Applied Logic 52 (1-2):79-92.
Embeddability of Ptykes.Jean-Yves Girard & Dag Normann - 1992 - Journal of Symbolic Logic 57 (2):659-676.
Large Cardinals and Large Dilators.Andy Lewis - 1998 - Journal of Symbolic Logic 63 (4):1496-1510.

Add more citations

Similar books and articles

Boundedness Theorems for Dilators and Ptykes.Alexander S. Kechris - 1991 - Annals of Pure and Applied Logic 52 (1-2):79-92.
The Uniform Boundedness Theorem and a Boundedness Principle.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (8):1057-1061.
Epistemic Boundedness.Andre Kukla - 1993 - International Studies in the Philosophy of Science 7 (2):121 – 126.
On Effective Σ‐Boundedness and Σ‐Compactness.Vladimir Kanovei & Vassily Lyubetsky - 2013 - Mathematical Logic Quarterly 59 (3):147-166.
Finite Powers of Strong Measure Zero Sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
A Model Theoretical Generalization of Steinitz’s Theorem.Alexandre Martins Rodrigues & Edelcio De Souza - 2011 - Principia: An International Journal of Epistemology 15 (1):107-110.
Determinacy in Strong Cardinal Models.P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):719 - 728.

Analytics

Added to PP index
2014-01-16

Total views
20 ( #544,741 of 2,462,595 )

Recent downloads (6 months)
1 ( #449,387 of 2,462,595 )

How can I increase my downloads?

Downloads

My notes