Sciweavers

JSYML
2008
89views more  JSYML 2008»
13 years 11 months ago
The degree spectra of homogeneous models
Much previous study has been done on the degree spectra of prime models of a complete atomic decidable theory. Here we study the analogous questions for homogeneous models. We say...
Karen Lange
JSYML
2008
60views more  JSYML 2008»
13 years 12 months ago
on the singular cardinals
James Cummings, Sy-David Friedman
JSYML
2008
45views more  JSYML 2008»
14 years 13 days ago
Internal consistency and global co-stationarity of the ground model
Global co-stationarity of the ground model from an 2-c.c. forcing which adds a new subset of 1 is internally consistent relative to an 1-Erdos hyperstrong cardinal and a sufficient...
Natasha Dobrinen, Sy-David Friedman
JSYML
2008
71views more  JSYML 2008»
14 years 13 days ago
Strictly positive measures on Boolean algebras
We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a ...
Mirna Dzamonja, Grzegorz Plebanek
JSYML
2008
60views more  JSYML 2008»
14 years 13 days ago
On the consistency strength of the inner model hypothesis
Sy-David Friedman, Philip Welch, W. Hugh Woodin
JSYML
2008
84views more  JSYML 2008»
14 years 13 days ago
The modal logic of affine planes is not finitely axiomatisable
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke...
Ian Hodkinson, Altaf Hussain
JSYML
2008
78views more  JSYML 2008»
14 years 13 days ago
Closed maximality principles: implications, separations and combinations
I investigate versions of the Maximality Principles for the classes of forcings which are <-closed, <-directed-closed, or of the form Col(, < ). These principles come in ...
Gunter Fuchs
JSYML
2008
98views more  JSYML 2008»
14 years 13 days ago
Combinatorial images of sets of reals and semifilter trichotomy
Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the inter...
Boaz Tsaban, Lyubomyr Zdomskyy