François Lucas

First order theory of cyclically ordered groups

By a result known as Riegers theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group

First-order theories of subgroups of divisible Hahn products

H

On connectedness of sets in the real spectra of polynomial rings

a pair

Hyper-regular lattice-ordered groups

(G,z)

Approximate roots of a valuation and the Pierce-Birkhoff Conjecture

where

Inclusions et produits de groupes abéliens ordonnés étudiés au premier ordre

G

A CONNECTEDNESS THEOREM FOR REAL SPECTRA OF POLYNOMIAL RINGS

is a totally ordered group and

The Order Structure of the Real Spectrum of Commutative Rings

z

ON THE STRONG SEPARATION CONJECTURE

is an element in the center of

On the Pierce–Birkhoff conjecture

G