An approximate zero-one law via the Dialectica interpretation

Thomas Powell, Alex Wan

Zero-one laws state that probabilistic events of a certain type must occur with probability either $0$ or $1$, and nothing in between. We formulate a syntactic zero-one law, which…