Results 131 to 134 of about 7,178 (134)

Uniform versions of some axioms of second order arithmetic

Mathematical Logic Quarterly, 2004
exaly  

Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic

Studia Logica
Joost J Joosten, Joosten Joost J
exaly  

Using Herbrand-type theorems to separate strong fragments of arithmetic

1993
exaly  

Some conservation results for fragments of arithmetic

Lecture Notes in Mathematics, 1981
exaly