Recognizable sets and Woodin cardinals: computation beyond the constructible universe

, &
Annals of Pure and Applied Logic 169 (4):312-332 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2017.12.007

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

Inner models in the region of a Woodin limit of Woodin cardinals.Itay Neeman - 2002 - Annals of Pure and Applied Logic 116 (1-3):67-155.
Identity crises and strong compactness III: Woodin cardinals. [REVIEW]Arthur W. Apter & Grigor Sargsyan - 2006 - Archive for Mathematical Logic 45 (3):307-322.
The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.
Easton’s theorem in the presence of Woodin cardinals.Brent Cody - 2013 - Archive for Mathematical Logic 52 (5-6):569-591.
Elementary chains and C (n)-cardinals.Konstantinos Tsaprounis - 2014 - Archive for Mathematical Logic 53 (1-2):89-118.
omega ¹-Constructible universe and measurable cardinals.Claude Sureson - 1986 - Annals of Pure and Applied Logic 30 (3):293.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Core Models in the Presence of Woodin Cardinals.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (4):1145 - 1154.
Review: Dana Scott, Measurable Cardinals and Constructible Sets. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):410-410.
On a problem of Woodin.Arthur W. Apter - 2000 - Archive for Mathematical Logic 39 (4):253-259.
Incompatible Ω-Complete Theories.Peter Koellner & W. Hugh Woodin - 2009 - Journal of Symbolic Logic 74 (4):1155 - 1170.
Gap forcing: Generalizing the lévy-Solovay theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
The distribution of ITRM-recognizable reals.Merlin Carl - 2014 - Annals of Pure and Applied Logic 165 (9):1403-1417.
Large cardinals and projective sets.Haim Judah & Otmar Spinas - 1997 - Archive for Mathematical Logic 36 (2):137-155.
Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.

Analytics

Added to PP
2017-12-15

Downloads
23 (#666,649)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Canonical Truth.Merlin Carl & Philipp Schlicht - 2022 - Axiomathes 32 (3):785-803.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.
Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.

View all 19 references / Add more references