Sciweavers

103 search results - page 13 / 21
» jsyml 2006
Sort
View
JSYML
1998
41views more  JSYML 1998»
13 years 9 months ago
A Many Permutation Group Result for Unstable Theories
Abstract. We extend Shelah’s first many model result to show that an unstable theory has 2κ many non-permutation group isomorphic models of size κ, where κ is an uncountable ...
Mark D. Schlatter
JSYML
2010
74views more  JSYML 2010»
13 years 8 months ago
Baire reductions and good Borel reducibilities
Abstract. In [8] we have considered a wide class of “well-behaved” reducibilities for sets of reals. In this paper we continue with the study of Borel reducibilities by proving...
Luca Motto Ros
JSYML
2010
72views more  JSYML 2010»
13 years 8 months ago
A form of feasible interpolation for constant depth Frege systems
Let L be a first-order language and Φ and Ψ two Σ1 1 L-sentences that cannot be satisfied simultaneously in any finite L-structure. Then obviously the following principle Cha...
Jan Krajícek
JSYML
2010
62views more  JSYML 2010»
13 years 8 months ago
A monotonicity theorem for dp-minimal densely ordered groups
Dp-minimality is a common generalization of weak minimality and weak o-minimality. If T is a weakly o-minimal theory then it is dp-minimal (Fact 2.2), but there are dp-minimal den...
John Goodrick
JSYML
2002
78views more  JSYML 2002»
13 years 9 months ago
An Axiomatic Presentation of The Nonstandard Methods in Mathematics
A nonstandard set theory ZFC is proposed that axiomatizes the nonstandard embedding . Besides the usual principles of nonstandard analysis, all axioms of ZFC except regularity are...
Mauro Di Nasso