Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 135

Preprint Number 135

Previous Next Preprint server

135. Domenico Zambella
Noetherianity in a class of first-order theories

Submission date: 28 October 2008


We call a theory a Dedekind theory if every quantier-free type with one free variable either has a trivial positive part or it is isolated by a positive quantier-free formula. Vector spaces and integral domains are examples. We prove that in a Dedekind theory all positive quantier-free types are isolates so, in a sense, Dedekind theories are Noetherian. We show that saturated existentially closed models of Dedekind theories are Zariski geometries.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv: pdf, ps.

Last updated: December 19 2008 14:59 Please send your corrections to: