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