Extension of Lifschitz' realizability to higher order arithmetic,and a solution to a problem of F. Richman

By  

The Journal of Symbolic Logic, Vol. 56, Iss. 3, 1991-09 ,pp. : 964-973

Cambridge University Press

Access to resources Recommend Favorite

A small reflection principle for bounded arithmetic

By  

The Journal of Symbolic Logic, Vol. 59, Iss. 3, 1994-09 ,pp. : 785-812

Cambridge University Press

Access to resources Recommend Favorite

A Group Theoretical Characterisation of S-Arithmetic Groups in Higher Rank Semi-Simple Groups

By Lubotzky A.   Venkataramana T.N.  

Geometriae Dedicata, Vol. 90, Iss. 1, 2002-03 ,pp. : 1-28

Springer Publishing Company

Access to resources Recommend Favorite

The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic

By Sakamoto Nobuyuki   Tanaka Kazuyuki  

Archive for Mathematical Logic, Vol. 43, Iss. 3, 2004-04 ,pp. : 337-349

Springer Publishing Company

Access to resources Recommend Favorite

THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

By  

Review of Symbolic Logic, Vol. 10, Iss. 2, 2017-02 ,pp. : 357-396

Cambridge University Press

Access to resources Recommend Favorite