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.

Toshiyasu Arai
SearchCollections
Map detail
Toshiyasu Arai13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipToshiyasu AraiAToshiyasu AraiResearcherTwo remarks on proof theory of first-order arithmeticWTwo remarks on proof th...preprint / 2020Refinement of proof-theoretic analysis of the lpo due to BuchholzWRefinement of proof-the...preprint / 2020A constructive proof of a theorem by Ferreira-ZantemaWA constructive proof of...preprint / 2020Iterating the recursively Mahlo operationsWIterating the recursive...preprint / 2010Proof theory for theories of ordinals III: $Π_{N}$-reflectionWProof theory for theori...preprint / 2010Introducing the hardline in proof theoryWIntroducing the hardlin...preprint / 2011Lifting up the proof theory to the countables : Zermelo-Fraenkel set theoryWLifting up the proof th...preprint / 2013Conservations of first-order reflectionsWConservations of first-...preprint / 2013Proof theory of weak compactnessWProof theory of weak co...preprint / 2013A sneak preview of proof theory of ordinalsWA sneak preview of proo...preprint / 2011Quick cut-elimination for strictly positive cutsWQuick cut-elimination f...preprint / 2010Wellfoundedness proofs by means of non-monotonic inductive definitions II: first order operatorsWWellfoundedness proofs ...preprint / 2010
Person12 links

Toshiyasu Arai

Researcher

PaperTwo remarks on proof theory of first-order arithmeticAuthorship / preprint / 2020PaperRefinement of proof-theoretic analysis of the lpo due to BuchholzAuthorship / preprint / 2020PaperA constructive proof of a theorem by Ferreira-ZantemaAuthorship / preprint / 2020PaperIterating the recursively Mahlo operationsAuthorship / preprint / 2010PaperProof theory for theories of ordinals III: ΠNΠ_{N}-reflectionAuthorship / preprint / 2010PaperIntroducing the hardline in proof theoryAuthorship / preprint / 2011PaperLifting up the proof theory to the countables : Zermelo-Fraenkel set theoryAuthorship / preprint / 2013PaperConservations of first-order reflectionsAuthorship / 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)