2 results
Model theory of bounded arithmetic with applications to independence results
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 239-247
-
- Chapter
- Export citation
Some weak fragments of HA and certain closure properties
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-103
- Print publication:
- March 2002
-
- Article
- Export citation