Graph explorer

Anton Freund

Anton Freund contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewAnton Freund
13 nodes12 links
Anton Freund13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAnton FreundResearcherWUnprovability in Mathem...preprint / 2022WHigman's lemma is s...preprint / 2022WImpredicativity and Tre...preprint / 2022WR.E. Bruck, proof minin...preprint / 2022WOn the logical strength...preprint / 2022WThe uniform Kruskal the...preprint / 2022WPatterns of resemblance...preprint / 2021WComputable Aspects of t...preprint / 2020WPredicative collapsing ...preprint / 2020WWell ordering principle...preprint / 2020WA mathematical commitme...preprint / 2020WShort Proofs for Slow C...preprint / 2020
PersonSignal 1012 links

Anton Freund

Researcher

Open