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 Next

Displaying 1 – 20 of 21

Showing per page

A characterization of Ext(G,ℤ) assuming (V = L)

Saharon Shelah, Lutz Strüngmann (2007)

Fundamenta Mathematicae

We complete the characterization of Ext(G,ℤ) for any torsion-free abelian group G assuming Gödel’s axiom of constructibility plus there is no weakly compact cardinal. In particular, we prove in (V = L) that, for a singular cardinal ν of uncountable cofinality which is less than the first weakly compact cardinal and for every sequence ( ν p : p ∈ Π ) of cardinals satisfying ν p ≤ 2 ν (where Π is the set of all primes), there is a torsion-free abelian group G of size ν such that ν p equals the p-rank of Ext(G,ℤ) for every...

A failure of quantifier elimination.

Angus Macintyre, David Marker (1997)

Revista Matemática de la Universidad Complutense de Madrid

We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.

A family of 2 ℵ 1 logarithmic functions of distinct growth rates

Salma Kuhlmann (2010)

Open Mathematics

We construct a totally ordered set Γ of positive infinite germs (i.e. germs of positive real-valued functions that tend to +∞), with order type being the lexicographic product ℵ1 × ℤ2. We show that Γ admits 2 ℵ 1 order preserving automorphisms of pairwise distinct growth rates.

An elementary class extending abelian-by- G groups, for G infinite

Carlo Toffalori (1996)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

We show that for no infinite group G the class of abelian-by- G groups is elementary, but, at least when G is an infinite elementary abelian p -group (with p prime), the class of groups admitting a normal abelian subgroup whose quotient group is elementarily equivalent to G is elementary.

An invariant for difference field extensions

Zoé Chatzidakis, Ehud Hrushovski (2012)

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

In this paper we introduce a new invariant for extensions of difference fields, the distant degree, and discuss its properties.

Arithmetization of the field of reals with exponentiation extended abstract

Sedki Boughattas, Jean-Pierre Ressayre (2008)

RAIRO - Theoretical Informatics and Applications


 (1) Shepherdson proved that a discrete unitary commutative semi-ring A+ satisfies IE0 (induction scheme restricted to quantifier free formulas) iff A is integral part of a real closed field; and Berarducci asked about extensions of this criterion when exponentiation is added to the language of rings. Let T range over axiom systems for ordered fields with exponentiation; for three values of T we provide a theory ⌞ T ⌟ in the language of rings plus exponentiation such that the ...

Around Podewski's conjecture

Krzysztof Krupiński, Predrag Tanović, Frank O. Wagner (2013)

Fundamenta Mathematicae

A long-standing conjecture of Podewski states that every minimal field is algebraically closed. Known in positive characteristic, it remains wide open in characteristic zero. We reduce Podewski's conjecture to the (partially) ordered case, and we conjecture that such fields do not exist. We prove the conjecture in case the incomparability relation is transitive (the almost linear case). We also study minimal groups with a (partial) order, and give a complete classification of...

Currently displaying 1 – 20 of 21

Page 1 Next