◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

A. Pauly

60 papers hereh-index 211.5k citations110 works total

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

author position
  • sole author11
  • first author9
  • middle author9
  • last author29

Across the 58 of 60 papers where every author was matched, so the position is known.

fields
  • cs.LO23
  • math.LO17
  • cs.GT11
  • cs.CC3
  • math.GN3
  • cs.LG2

identity via Semantic Scholar / OpenAlex

activity
20092023
most citedClosed Choice and a Uniform Low Basis Theorem

101 citations · 491 across the 53 of their papers we have counts for

collaborators
Showing 2018 · cs.LOShow all

1 paper · 2 filters

cs.LO2018★ 4 cited

Searching for an analogue of ATR in the Weihrauch lattice

Takayuki Kihara, Alberto Marcone, Arno Pauly

There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to transl…

◍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.