11 search results - page 1 / 3 » jsyml 2011 |
JSYML
2011
12 years 7 months ago
2011
We locate winning strategies for various Σ0 3-games in the L-hierarchy in order to prove the following:
JSYML
2011
12 years 12 months ago
2011
Abstract. Westudy cut-elimination in first-orderclassical logic. Weconstructa sequenceofpolynomiallength proofs having a non-elementary number of different cut-free normal forms....
JSYML
2011
12 years 12 months ago
2011
Let κ < λ be regular uncountable cardinals. Using a finite support iteration of ccc posets we obtain the consistency of b = a = κ < s = λ. If µ is a measurable cardinal...
JSYML
2011
12 years 12 months ago
2011
Abstract. We give an affirmative answer to Brendle’s and Hruˇs´ak’s question of whether the club principle together with h > ℵ1 is consistent. We work with a class of ax...
JSYML
2011
12 years 7 months ago
2011
We give limits defined in terms of abstract pointclasses of the amount of determinacy available in certain canonical inner models involving strong cardinals. We show for example: ...