Page 1 Next

Displaying 1 – 20 of 63

Showing per page

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...

Constructing ω-stable structures: Computing rank

John T. Baldwin, Kitty Holland (2001)

Fundamenta Mathematicae

This is a sequel to [1]. Here we give careful attention to the difficulties of calculating Morley and U-rank of the infinite rank ω-stable theories constructed by variants of Hrushovski's methods. Sample result: For every k < ω, there is an ω-stable expansion of any algebraically closed field which has Morley rank ω × k. We include a corrected proof of the lemma in [1] establishing that the generic model is ω-saturated in the rank 2 case.

Corps C-minimaux, en l’honneur de François Lucas

Françoise Delon (2012)

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

La classe des constructibles de la géométrie algébrique est close par projection. La théorie des modèles exprime ce fait en disant que les corps algébriquement clos éliminent les quantificateurs dans le langage des anneaux. De façon analogue, les corps algébriquement clos non trivialement valués éliminent les quantificateurs dans le langage des anneaux enrichi de la relation dite de divisibilité v ( x ) v ( y ) . Cela implique en particulier la «  C -minimalité » : une partie définissable d’un corps algébriquement...

Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields

Vincent Astier (2013)

Fundamenta Mathematicae

We prove that the boolean algebras of sets definable in elementarily equivalent o-minimal expansions of real closed fields are back-and-forth equivalent, and in particular elementarily equivalent, in the language of boolean algebras with new predicates indicating the dimension, Euler characteristic and open sets. We also show that the boolean algebra of semilinear subsets of [0,1]ⁿ definable in an o-minimal expansion of a real closed field is back-and-forth equivalent to the boolean algebra of definable...

Levelled O-minimal structures.

David Marker, Chris Miller (1997)

Revista Matemática de la Universidad Complutense de Madrid

We introduce the notion of leveled structure and show that every structure elementarily equivalent to the real expo field expanded by all restricted analytic functions is leveled.

Currently displaying 1 – 20 of 63

Page 1 Next