Sciweavers

35 search results - page 3 / 7
» jsyml 2010
Sort
View
JSYML
2010
69views more  JSYML 2010»
13 years 8 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»
13 years 4 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 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