Sciweavers

JSYML
2008
89views more  JSYML 2008»
13 years 8 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 9 months ago
on the singular cardinals
James Cummings, Sy-David Friedman
JSYML
2006
61views more  JSYML 2006»
13 years 10 months ago
Shelah's categoricity conjecture from a successor for tame abstract elementary classes
R FOR TAME ABSTRACT ELEMENTARY CLASSES RAMI GROSSBERG AND MONICA VANDIEREN We prove a categoricity transfer theorem for tame abstract elementary classes.
Rami P. Grossberg, Monica Van Dieren
JSYML
2006
97views more  JSYML 2006»
13 years 10 months ago
The proper forcing axiom and the singular cardinal hypothesis
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].
Matteo Viale
JSYML
2006
76views more  JSYML 2006»
13 years 10 months ago
Diagonal actions and Borel equivalence relations
We investigate diagonal actions of Polish groups and the related intersection operator on closed subgroups of the acting group. The Borelness of the diagonal orbit equivalence rela...
Longyun Ding, Su Gao
JSYML
2006
84views more  JSYML 2006»
13 years 10 months ago
Bounded modified realizability
We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The ...
Fernando Ferreira, Ana Nunes
JSYML
2006
91views more  JSYML 2006»
13 years 10 months ago
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic (Fund. Math. 171 (2002)), we show that there exists a number n such that m Sm (the u...
Leszek Aleksander Kolodziejczyk
JSYML
2006
59views more  JSYML 2006»
13 years 10 months ago
Trichotomies for ideals of compact sets
Étienne Matheron, Slawomir Solecki, Mirosla...
JSYML
2006
64views more  JSYML 2006»
13 years 10 months ago
Every 1-generic computes a properly 1-generic
Abstract. A real is called properly n-generic if it is n-generic but not n + 1generic. We show that every 1-generic real computes a properly 1-generic real. On the other hand, if m...
Barbara F. Csima, Rod Downey, Noam Greenberg, Deni...