Sciweavers

9 search results - page 1 / 2
» Easton's theorem and large cardinals
Sort
View
APAL
2008
83views more  APAL 2008»
13 years 5 months ago
Easton's theorem and large cardinals
The continuum function F on regular cardinals is known to have great freedom; if , are regular cardinals, then F needs only obey the following two restrictions: (1) cf(F()) > ...
Sy D. Friedman, Radek Honzik
APAL
2006
56views more  APAL 2006»
13 years 5 months ago
Power function on stationary classes
We show that under certain large cardinal requirements there is a generic extension in which the power function behaves differently on different stationary classes. We achieve this...
Moti Gitik, Carmi Merimovich
JSYML
2008
72views more  JSYML 2008»
13 years 5 months ago
Perfect trees and elementary embeddings
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...
Sy-David Friedman, Katherine Thompson
JSYML
2008
78views more  JSYML 2008»
13 years 5 months ago
Hierarchies of forcing axioms I
Abstract. We prove new upper bound theorems on the consistency strengths of SPFA(), SPFA(-linked) and SPFA(+ -cc). Our results are in terms of (, )-subcompactness, which is a new l...
Itay Neeman, Ernest Schimmerling
MLQ
2007
116views more  MLQ 2007»
13 years 5 months ago
Local sentences and Mahlo cardinals
Local sentences were introduced by Ressayre in [Res88] who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for t...
Olivier Finkel, Stevo Todorcevic