ScienceDirect® Home Skip Main Navigation Links
Athens/Institution LoginNot Registered?
User Name: Password:
Forgotten password?
Home
Browse
My Settings
Alerts
Help
Quick Search
Search tips (Opens new window)
Clear all fields
Font Size: Decrease Font Size Increase Font Size
Abstract - selected
Purchase PDF (1249 K)

Article Toolbox
Related Articles in ScienceDirect
Close
You are not entitled to access the full text of this document Mouse sets
Annals of Pure and Applied Logic, Volume 87, Issue 1, 22 August 1997, Pages 1-100
Mitch Rudominer

Abstract
In this paper we explore a connection between descriptive set theory and inner model theory. From descriptive set theory, we will take a countable, definable set of reals, A. We will then show that image, where image is a canonical model from inner model theory. In technical terms, image is a “mouse”. Consequently, we say that A is a mouse set. For a concrete example of the type of set A we are working with, let ODnω1 be the set of reals which are ∑n definable over the model Lω1 (R), from an ordinal parameter. In this paper we will show that for all n greater-or-equal, slanted 1, ODnω1 is a mouse set. Our work extends some similar results due to D.A. Martin, J.R. Steel, and H. Woodin. Several interesting questions in this area remain open.

Purchase PDF (7158 K)
Close
You are not entitled to access the full text of this document More on Wadge determinacy
Annals of Pure and Applied Logic, Volume 144, Issues 1-3, December 2006, Pages 2-32
Alessandro Andretta

Abstract
We show that the semi-linear ordering principle for continuous functions implies the determinacy of all Wadge and Lipschitz games.

Purchase PDF (634 K)
Close
You are not entitled to access the full text of this document How to win some simple iteration games
Annals of Pure and Applied Logic, Volume 83, Issue 2, 23 January 1997, Pages 103-164
Alessandro Andretta, John Steel

Abstract
We introduce two new iteration games: the game image, which is a strengthening of the weak iteration game, and the game image, which is somewhat stronger than image but weaker than the full iteration game of length ω1. For a countable M elementarily embeddable in some Vη, with two players I and II, we can show that II wins image and that I does not win image.

Purchase PDF (4108 K)
Close
You are not entitled to access the full text of this document The covering lemma up to a Woodin cardinal
Annals of Pure and Applied Logic, Volume 84, Issue 2, 21 March 1997, Pages 219-255
W. J. Mitchell, E. Schimmerling, J. R. Steel

Purchase PDF (2261 K)
Close
You are not entitled to access the full text of this document Strong cardinals in the core model
Annals of Pure and Applied Logic, Volume 83, Issue 2, 23 January 1997, Pages 165-198
Kai Hauser, Greg Hjorth

Abstract
We work with Steel's core model under the assumption that there is no inner class model for a Woodin cardinal. If there is no ω1V strong cardinal in the Steel core model, then KHC is projective. Moreover, if image for k measurable in image, then K is projective up to the first < ω1V-strong. This is used to resolve negatively the boldface correctness conjecture from Hauser (1995).

We also show in ZFC that set forcing cannot create class models with a given number of strongs.


Purchase PDF (2419 K)
View More Related Articles
View Record in Scopus
doi:10.1016/0168-0072(95)00011-9
How to Cite or Link Using DOI (Opens New Window)

Copyright © 1996 Published by Elsevier Science B.V.

Π12 Wadge degrees

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Greg Hjorth

Department of Mathematics, California Institute of Technology, Pasadena, CA 91125, USA


Received 8 June 1993;
revised 15 December 1994.
communicated by T. Jech
Available online 10 February 1999.

Abstract

Suppose that any two Π12 sets are comparable in the sense of Wadge degrees. Then every real has a dagger. This argument proceeds by using the Dodd-Jensen core model theory to show that for all x ε ωω(x#Ð) along with, say, “0 implies the existence of a Π12 norm of length u2.

As a result of more recent work by John Steel, the same argument will extend to show that the Wadge comparability of all Π12 sets implies Π12 determinacy.

Article Outline

• References

Annals of Pure and Applied Logic
Volume 77, Issue 1, 8 January 1996, Pages 53-74
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect | Contact Us | Information for Advertisers | Terms & Conditions | Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.