activity
20162020
most citedHow to generate random lambda terms?

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2020

A note on the asymptotic expressiveness of ZF and ZFC

Maciej Bendkowski

We investigate the asymptotic densities of theorems provable in Zermelo-Fraenkel set theory ZF and its extension ZFC including the axiom of choice. Assuming a canonical De Bruijn r…