BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Anton Freund
SearchCollections
Map detail
Anton Freund13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAnton FreundAAnton FreundResearcherUnprovability in Mathematics: A First Course on Ordinal AnalysisWUnprovability in Mathem...preprint / 2022Higman's lemma is stronger for better quasi ordersWHigman's lemma is stron...preprint / 2022Impredicativity and Trees with Gap Condition: A Second Course on Ordinal AnalysisWImpredicativity and Tre...preprint / 2022R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spacesWR.E. Bruck, proof minin...preprint / 2022On the logical strength of the better quasi order with three elementsWOn the logical strength...preprint / 2022The uniform Kruskal theorem: between finite combinatorics and strong set existenceWThe uniform Kruskal the...preprint / 2022Patterns of resemblance and Bachmann-Howard fixed pointsWPatterns of resemblance...preprint / 2021Computable Aspects of the Bachmann-Howard PrincipleWComputable Aspects of t...preprint / 2020Predicative collapsing principlesWPredicative collapsing ...preprint / 2020Well ordering principles and $Π^1_4$-statements: a pilot studyWWell ordering principle...preprint / 2020A mathematical commitment without computational strengthWA mathematical commitme...preprint / 2020Short Proofs for Slow ConsistencyWShort Proofs for Slow C...preprint / 2020
Person12 links

Anton Freund

Researcher

PaperUnprovability in Mathematics: A First Course on Ordinal AnalysisAuthorship / preprint / 2022PaperHigman's lemma is stronger for better quasi ordersAuthorship / preprint / 2022PaperImpredicativity and Trees with Gap Condition: A Second Course on Ordinal AnalysisAuthorship / preprint / 2022PaperR.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spacesAuthorship / preprint / 2022PaperOn the logical strength of the better quasi order with three elementsAuthorship / preprint / 2022PaperThe uniform Kruskal theorem: between finite combinatorics and strong set existenceAuthorship / preprint / 2022PaperPatterns of resemblance and Bachmann-Howard fixed pointsAuthorship / preprint / 2021PaperComputable Aspects of the Bachmann-Howard PrincipleAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)