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.

Jeremy Avigad
SearchCollections
Map detail
Jeremy Avigad13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJeremy AvigadAJeremy AvigadResearcherAn Impossible AsylumWAn Impossible Asylumpreprint / 2022Metastability in the Furstenberg-Zimmer towerWMetastability in the Fu...preprint / 2010The computational content of classical arithmeticWThe computational conte...preprint / 2010Type inference in mathematicsWType inference in mathe...preprint / 2012Inverting the Furstenberg correspondenceWInverting the Furstenbe...preprint / 2012Uniform distribution and algorithmic randomnessWUniform distribution an...preprint / 2012Ultraproducts and metastabilityWUltraproducts and metas...preprint / 2013The concept of "character" in Dirichlet's theorem on primes in an arithmetic progressionWThe concept of "charact...preprint / 2013A formal system for Euclid's ElementsWA formal system for Euc...preprint / 2009Metastable convergence theoremsWMetastable convergence ...preprint / 2011Algorithmic randomness, reverse mathematics, and the dominated convergence theoremWAlgorithmic randomness,...preprint / 2012Oscillation and the mean ergodic theorem for uniformly convex Banach spacesWOscillation and the mea...preprint / 2013
Person12 links

Jeremy Avigad

Researcher

PaperAn Impossible AsylumAuthorship / preprint / 2022PaperMetastability in the Furstenberg-Zimmer towerAuthorship / preprint / 2010PaperThe computational content of classical arithmeticAuthorship / preprint / 2010PaperType inference in mathematicsAuthorship / preprint / 2012PaperInverting the Furstenberg correspondenceAuthorship / preprint / 2012PaperUniform distribution and algorithmic randomnessAuthorship / preprint / 2012PaperUltraproducts and metastabilityAuthorship / preprint / 2013PaperThe concept of "character" in Dirichlet's theorem on primes in an arithmetic progressionAuthorship / preprint / 2013

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)