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. Uwaga: Brak afiliacji UJ, W pracy jest afiliacja MACIEJ BENDKOWSKI, ul. Plac Wolnica 13/10 31-060 Kraków, Poland

Strony:
1598–1607

Tom (seria wydawnicza):
31

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