We study the degree of elimination of imaginaries needed for the three main applications: to have canonical bases for types over models, to define strong types as types over algebraically closed sets… (More)

We study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving… (More)

Definition 1.1 T is small if for all n < ω, |Sn(∅)| ≤ ω. Remark 1.2 If T is small, then there is a countable L0 ⊆ L such that for every φ(x) ∈ L there is some φ′(x) ∈ L0 such that in T , φ(x) ≡… (More)

In this note we first review the classical Petterson-Gorenstein-Zierler decoding algorithm for the class of alternant codes (which includes Reed-Solomon, Bose-Chaudhuri-Hocquenghem and classical… (More)

Neurogastroenterology and motility : the official…

2016

The intake of free fructose has increased substantially since the development of high-fructose corn syrup. This has not only been associated with metabolic disorders but recent evidence also… (More)