Herbrand consistency of some finite fragments of bounded arithmetical theories

Overview of attention for article published in Archive for Mathematical Logic, December 2012

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 X posts from 1 X users, with an upper bound of 642 followers.

#arXiv #math_LO "Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories. (arXiv:1110.1848v… https://t.co/Byc3jrMhh3

#arXiv #cs_LO "Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories. (arXiv:1110.1848v2 … https://t.co/Byc3jrMhh3