A note on the asymptotic expressiveness of ZF and ZFC

Tytuł:
A note on the asymptotic expressiveness of ZF and ZFC
Czasopismo:
Rok:
2021

Opis:
We investigate the asymptotic densities of theorems provable in Zermelo–Fraenkel set theory ZF and its extension ZFC including the axiom of choice.

Numer DOI:
10.1093/logcom/exab038

Link:
https://academic.oup.com/logcom/advance-article-abstract/doi/10.1093/logcom/exab038/6303531?redirectedFrom=fulltext

Access:
ZAMKNIĘTY