Sciweavers

35 search results - page 3 / 7
» jsyml 2010
Sort
View
JSYML
2010
69views more  JSYML 2010»
13 years 3 months ago
Finitely axiomatizable strongly minimal groups
We show that if G is a strongly minimal finitely axiomatizable group, the division ring of quasi-endomorphisms of G must be an infinite finitely presented ring.
Thomas Blossier, Elisabeth Bouscaren
JSYML
2010
68views more  JSYML 2010»
12 years 11 months ago
Stability and stable groups in continuous logic
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.
Itaï Ben Yaacov
JSYML
2010
74views more  JSYML 2010»
13 years 3 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 3 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 3 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