Project

Logical limit laws for ordinals

Acronym
1520017N
Code
31520017W
Duration
01 January 2017 → 31 December 2019
Funding
Research Foundation - Flanders (FWO)
Research disciplines
  • Natural sciences
    • Other biological sciences
    • Other natural sciences
Keywords
ordinal numbers
 
Project description

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.