Source ledger
References
918 bibliography records ground the catalog in original papers, established surveys and monographs, institutional problem lists, and formal-proof archives.
Complete bibliography
918 records
- Kunen1971InconsistencyOpen source ↗
Elementary Embeddings and Infinitary Combinatorics
Kenneth Kunen · 1971 · article
- Kanamori2003HigherInfiniteOpen source ↗
The Higher Infinite
Akihiro Kanamori · 2003 · book
- JiEtAl2021MIPREOpen source ↗
MIP$^*=RE$
Zhengfeng Ji and Anand Natarajan and Thomas Vidick and John Wright and Henry Yuen · 2021 · article
- Hamburger1940CaratheodoryOpen source ↗
Beweis einer Carath\'eodoryschen Vermutung
Hans Hamburger · 1940 · article
- KovariSosTuran1954Open source ↗
On a Problem of K. Zarankiewicz
Tam\'as K\Hov\'ari and Vera T. S\'os and P\'al Tur\'an · 1954 · article
- Furedi1996ZarankiewiczOpen source ↗
An Upper Bound on Zarankiewicz's Problem
Zolt\'an F\"uredi · 1996 · article