23 results
Incompleteness theorems and Si2 versus Si2
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 247-261
-
- Chapter
- Export citation
Forcing on Bounded Arithmetic
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 120-138
-
- Chapter
- Export citation
Foreword
-
-
- Book:
- Kurt Gödel and the Foundations of Mathematics
- Published online:
- 07 September 2011
- Print publication:
- 06 June 2011, pp xiii-xiv
-
- Chapter
- Export citation
Incompleteness theoremand its frontier
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 434-439
-
- Chapter
- Export citation
Gödel sentences of bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1338-1346
- Print publication:
- September 2000
-
- Article
- Export citation
Forcing on bounded arithmetic II
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 860-868
- Print publication:
- September 1998
-
- Article
- Export citation
Frege proof system and TNC°
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 709-738
- Print publication:
- June 1998
-
- Article
- Export citation
Grzegorcyk's hierarchy and IepΣ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1274-1284
- Print publication:
- December 1994
-
- Article
- Export citation
The critical number of a variable in a function
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1228-1244
- Print publication:
- December 1994
-
- Article
- Export citation
A second order version of S 2 i and U 2 1
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1038-1063
- Print publication:
- September 1991
-
- Article
- Export citation
Boolean simple groups and boolean simple rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-173
- Print publication:
- March 1988
-
- Article
- Export citation
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 851-866
- Print publication:
- September 1984
-
- Article
- Export citation
A transfer principle in harmonic analysis1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-440
- Print publication:
- September 1979
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Chicago, 1977
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 3 / September 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-619
- Print publication:
- September 1978
-
- Article
- Export citation
Meetings of the Association for Symbolic Logic, U.S.-Japan Logic Seminar, Tokyo 1969
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-359
- Print publication:
- June 1971
-
- Article
- Export citation
Two interpolation theorems for a predicate calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-270
- Print publication:
- June 1971
-
- Article
- Export citation
A Determinate Logic
-
- Journal:
- Nagoya Mathematical Journal / Volume 38 / March 1970
- Published online by Cambridge University Press:
- 22 January 2016, pp. 113-138
- Print publication:
- March 1970
-
- Article
-
- You have access
- Export citation
Kurt Schütte. Syntactical and semantical properties of simple type theory. The journal of symbolic logic, vol. 25 no. 4 (for 1960, pub. 1962), pp. 305–326.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-419
- Print publication:
- 09 October 1967
-
- Article
- Export citation
A formalization of the theory of ordinal numbers1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-317
- Print publication:
- September 1965
-
- Article
- Export citation
Transcendence of cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-7
- Print publication:
- March 1965
-
- Article
- Export citation