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.

Keita Yokoyama
SearchCollections
Map detail
Keita Yokoyama13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipKeita YokoyamaAKeita YokoyamaResearcherVery weak fragments of weak Kőnig's lemmaWVery weak fragments of ...preprint / 2021Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmeticWLow-like basis theorems...preprint / 2026Categorical characterizations of the natural numbers require primitive recursionWCategorical characteriz...preprint / 2014On principles between $Σ_1$- and $Σ_2$-induction, and monotone enumerationsWOn principles between $...preprint / 2015Reverse Mathematical Bounds for the Termination TheoremWReverse Mathematical Bo...preprint / 2015How strong is Ramsey's theorem if infinity can be weak?WHow strong is Ramsey's ...preprint / 2021Ramsey's theorem for pairs, collection, and proof sizeWRamsey's theorem for pa...preprint / 2021The reverse mathematics of theorems of Jordan and LebesgueWThe reverse mathematics...preprint / 2021Ekeland's variational principle in weak and strong systems of arithmeticWEkeland's variational p...preprint / 2020The strength of the SCT criterionWThe strength of the SCT...preprint / 2016An isomorphism theorem for models of Weak König's Lemma without primitive recursionWAn isomorphism theorem ...preprint / 2022Propagation of partial randomnessWPropagation of partial ...preprint / 2013
Person12 links

Keita Yokoyama

Researcher

PaperVery weak fragments of weak Kőnig's lemmaAuthorship / preprint / 2021PaperLow-like basis theorems for Ramsey's theorem for pairs in first-order arithmeticAuthorship / preprint / 2026PaperCategorical characterizations of the natural numbers require primitive recursionAuthorship / preprint / 2014PaperOn principles between Σ1Σ_1- and Σ2Σ_2-induction, and monotone enumerationsAuthorship / preprint / 2015PaperReverse Mathematical Bounds for the Termination TheoremAuthorship / preprint / 2015PaperHow strong is Ramsey's theorem if infinity can be weak?Authorship / preprint / 2021PaperRamsey's theorem for pairs, collection, and proof sizeAuthorship / preprint / 2021PaperThe reverse mathematics of theorems of Jordan and LebesgueAuthorship / preprint / 2021

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)