Results 151 to 155 of about 7,224 (155)

Unprovability of consistency statements in fragments of bounded arithmetic

Annals of Pure and Applied Logic, 1995
Aleksandar Ignjatovic, Samuel R Buss
exaly  

Uniform versions of some axioms of second order arithmetic

Mathematical Logic Quarterly, 2004
exaly  

On a class of models of the n-th order arithmetic

Lecture Notes in Mathematics, 1978
W Marek
exaly  

Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic

Studia Logica
Ana De Almeida Borges, Joost Joosten, Joosten Joost J   +2 more
exaly  

Using Herbrand-type theorems to separate strong fragments of arithmetic

1993
exaly