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.

Joost J. Joosten
SearchCollections
Map detail
Joost J. Joosten17 visible / 17 total nodes / 27 links

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

Related contextCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalJoost J. JoostenAJoost J. JoostenResearcherCoherency through formalisations of Structured Natural Language, A case study on FRETishWCoherency through forma...preprint / 2026Marina López ChamosaAMarina López ChamosaResearcherSofía Santiago FernándezASofía Santiago FernándezResearcherAn overview of Generalised Veltman SemanticsWAn overview of Generali...preprint / 2020The interpretability logic of all reasonable arithmetical theoriesWThe interpretability lo...preprint / 2020Propositional proof systems and fast consistency proversWPropositional proof sys...preprint / 2020Complejidad descriptiva y computacional en maquinas de Turing pequenasWComplejidad descriptiva...preprint / 2011On the necessity of complexityWOn the necessity of com...preprint / 2012Turing jumps through provabilityWTuring jumps through pr...preprint / 2015Program-Size Versus Time Complexity, Speed-Up and Slowdown Phenomena in Small Turing MachinesWProgram-Size Versus Tim...preprint / 2011Turing-Taylor expansions for arithmetic theoriesWTuring-Taylor expansion...preprint / 2015Characterizations of interpretability in bounded arithmeticWCharacterizations of in...preprint / 2016Fractal dimension versus process complexityWFractal dimension versu...preprint / 2016Computation and LanguageTComputation and Language14115 worksLogic in Computer ScienceTLogic in Computer Science2208 worksArithmetical and Hyperarithmetical Worm BattlesWArithmetical and Hypera...preprint / 2022
Person16 links

Joost J. Joosten

Researcher

PaperCoherency through formalisations of Structured Natural Language, A case study on FRETishAuthorship / preprint / 2026PersonMarina López ChamosaCo-authorship / ResearcherPersonSofía Santiago FernándezCo-authorship / ResearcherPaperAn overview of Generalised Veltman SemanticsAuthorship / preprint / 2020PaperThe interpretability logic of all reasonable arithmetical theoriesAuthorship / preprint / 2020PaperPropositional proof systems and fast consistency proversAuthorship / preprint / 2020PaperComplejidad descriptiva y computacional en maquinas de Turing pequenasAuthorship / preprint / 2011PaperOn the necessity of complexityAuthorship / preprint / 2012

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)