< Back to previous page

Project

Logical limit laws for ordinals (1520017N)

We study the probability that certain assertions about linear orderings are true with respect to a randomly chosen ordinal. We intend to prove so called zero one laws for natural classes of ordinals. This means that an assertion holds almost shure or almost never. The research is based on a combination of techniques from logic and real analysis en has thus some interdisciplinary character.

Date:1 Jan 2017 →  31 Dec 2019
Keywords:ordinal numbers
Disciplines:Other biological sciences, Other natural sciences