• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • Mihai Ganea
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 2007 (First Publication: 1 June 2007)
  • In [2] John Burgess describes predicative versions of Frege's logic and poses the problem of finding their exact arithmetical strength. I prove here that PV, the simplest such theory, is equivalentContinue Reading
  • Mihai Ganea
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 2009 (First Publication: 1 March 2009)
  • Relations between some theories of semigroups (also known as theories of strings or theories of concatenation) and arithmetic are surveyed. In particular Robinson's arithmetic Q is shown to beContinue Reading
  • Mihai Ganea
  • Mathematics
  • 2013
  • Determining the computational requirements of formal reasoning is a key task in implementing David Hilbert's foundational program. This paper presents a number of results on the syntacticalContinue Reading