Davorin Lešnik: Theory of cuts
Source: Mathematics and theoretical computing seminar
Note: We start at 13:00 instead of the usual 12:15 due to a written exam overseen by the speaker.
Abstract: Dedekind cuts are a familiar way to construct a model of reals. We examine how general the construction of Dedekind and related cuts can be made, obtaining certain forms of order-theoretic completions. The results have connections to domain theory, local compactness and measure theory.