2 results
EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 10 May 2016, pp. 774-788
- Print publication:
- June 2016
-
- Article
- Export citation
NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 170-200
- Print publication:
- June 2014
-
- Article
- Export citation