Sciweavers

103 search results - page 13 / 21
» jsyml 2006
Sort
View
JSYML
1998
41views more  JSYML 1998»
14 years 11 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»
14 years 10 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»
14 years 10 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»
14 years 10 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»
14 years 11 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