Retour à la page du séminaire

### 18/12/98: Klaus Grue

Dedekind cuts as a means for constructing kappa-Scott domains

**abstract**
In Berline&Grue-97 it was shown that (in short) all kappa-Scott domains
that satisfy a certain domain equation are models of map theory.

The talk shows that the Dedekind Cut construction, which allows to
construct the real numbers from the rational ones, can be applied to
kappa-Scott domains, yielding new and interesting models of map
theory. When applied to the model constructed in Berline&Grue-97,
the result is a model of a version of map theory, that has much
simpler axioms than the original version.

The talk focuses on the Dedekind cut construction and its properties.