3 results
Uniformization and skolem functions in the class of trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-127
- Print publication:
- March 1998
-
- Article
- Export citation
Peano arithmetic may not be interpretable in the monadic theory of linear orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 848-872
- Print publication:
- September 1997
-
- Article
- Export citation
Uniformization, choice functions and well orders in the class of trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1206-1227
- Print publication:
- December 1996
-
- Article
- Export citation