Sciweavers

9 search results - page 1 / 2
» Easton's theorem and large cardinals
Sort
View
61
Voted
APAL
2008
83views more  APAL 2008»
14 years 10 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
60
Voted
APAL
2006
56views more  APAL 2006»
14 years 10 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»
14 years 10 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»
14 years 10 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»
14 years 10 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