3 results
BASIS THEOREMS FOR ${\rm{\Sigma }}_2^1$-SETS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 11 February 2019, pp. 376-387
- Print publication:
- March 2019
-
- Article
- Export citation
The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 140-153
-
- Chapter
- Export citation
The Fifth Asian Logic Conference, Singapore, 1993
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 730-732
- Print publication:
- June 1994
-
- Article
- Export citation