◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

J. Hirst

16 papers hereh-index 13615 citations57 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author5
  • middle author6
  • last author3

Across the 15 of 16 papers where every author was matched, so the position is known.

fields
  • math.LO16
same name
  • J. Hirst — 4 papers, h 4
  • J. Hirst — 3 papers, h 2
  • J. Hirst — 3 papers, h 3
  • J. Hirst — 1 paper, h 41
  • J. Hirst — 1 paper, h 58

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
19942023
most citedReverse mathematics and uniformity in proofs without excluded middle

18 citations · 34 across the 12 of their papers we have counts for

collaborators
Showing 1995Show all

1 paper · 1 filter

math.LO1995

Infinite versions of some NP-complete problems

Jeffry L. Hirst, Steffen Lempp

Recently, connections have been explored between the complexity of finite problems in graph theory and the complexity of their infinite counterparts. As is shown in our paper (and…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.