Wikipedia Pages Linking to ulrikbuchholtz.dk
Ordinal analysis
View on Wikipedia
1 links on this page
Loading...
Wikipedia Links
https://ulrikbuchholtz.dk/bjs.pdf
Anchor text: Theories of proof-theoretic strength <math>\psi(\Gamma_{\Omega+1})</math>