All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 14 of 14

Showing per page

S V -Rings and S V -Porings

Niels Schwartz (2010)

Annales de la faculté des sciences de Toulouse Mathématiques

S V -rings are commutative rings whose factor rings modulo prime ideals are valuation rings. S V -rings occur most naturally in connection with partially ordered rings (= porings) and have been studied only in this context so far. The present note first develops the theory of S V -rings systematically, without assuming the presence of a partial order. Particular attention is paid to the question of axiomatizability (in the sense of model theory). Partially ordered S V -rings ( S V -porings) are introduced, and...

Schanuel Nullstellensatz for Zilber fields

Paola D'Aquino, Angus Macintyre, Giuseppina Terzo (2010)

Fundamenta Mathematicae

We characterize the unsolvable exponential polynomials over the exponential fields introduced by Zilber, and deduce Picard's Little Theorem for such fields.

Small profinite m-stable groups

Frank O. Wagner (2003)

Fundamenta Mathematicae

A small profinite m-stable group has an open abelian subgroup of finite ℳ-rank and finite exponent.

Some (non-)elimination results for curves in geometric structures

Serge Randriambololona, Sergei Starchenko (2011)

Fundamenta Mathematicae

We show that the first order structure whose underlying universe is ℂ and whose basic relations are all algebraic subsets of ℂ² does not have quantifier elimination. Since an algebraic subset of ℂ² is either of dimension ≤ 1 or has a complement of dimension ≤ 1, one can restate the former result as a failure of quantifier elimination for planar complex algebraic curves. We then prove that removing the planarity hypothesis suffices to recover quantifier elimination: the structure with the universe...

Strongly bounded automorphism groups

A. Ivanov (2006)

Colloquium Mathematicae

A group G is strongly bounded if every isometric action of G on a metric space has bounded orbits. We show that the automorphism groups of typical countable structures with the small index property are strongly bounded. In particular we show that this is the case when G is the automorphism group of the countable universal locally finite extension of a periodic abelian group.

Super real closed rings

Marcus Tressl (2007)

Fundamenta Mathematicae

A super real closed ring is a commutative ring equipped with the operation of all continuous functions ℝⁿ → ℝ. Examples are rings of continuous functions and super real fields attached to z-prime ideals in the sense of Dales and Woodin. We prove that super real closed rings which are fields are an elementary class of real closed fields which carry all o-minimal expansions of the real field in a natural way. The main part of the paper develops the commutative algebra of super real closed rings, by...

Sur la théorie élémentaire des groupes libres

Frédéric Paulin (2002/2003)

Séminaire Bourbaki

Sela a annoncé une solution complète d’un problème de Tarski, qui demanda vers 1945 quels sont les groupes de type fini qui ont la même théorie élémentaire qu’un groupe libre. Nous discuterons des travaux de Remeslennikov, Kharlampovich-Myasnikov, Sela, Champetier-Guirardel et autres sur la structure des groupes limites (les groupes de type fini qui sont “limites”de groupes libres, ou encore, qui ont la même théorie universelle qu’un groupe libre). Nous indiquerons quelques outils utilisés par Sela...

Currently displaying 1 – 14 of 14

Page 1