-
15Comparison of the deformation behaviour of commercially pure titanium and Ti–5Al–2.5Sn at 296 and 728 KPhilosophical Magazine 93 (21): 2875-2895. 2013.
-
14The existence of high nonbounding degrees in the difference hierarchyAnnals of Pure and Applied Logic 138 (1): 31-51. 2006.We study the jump hierarchy of d.c.e. Turing degrees and show that there exists a high d.c.e. degree d which does not bound any minimal pair of d.c.e. degrees
-
25A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 DegreeMathematical Logic Quarterly 48 (1): 131-146. 2002.We construct a nonlow2 r.e. degree d such that every positive extension of embeddings property that holds below every low2 degree holds below d. Indeed, we can also guarantee the converse so that there is a low r.e. degree c such that that the extension of embeddings properties true below c are exactly the ones true belowd.Moreover, we can also guarantee that no b ≤ d is the base of a nonsplitting pair
-
46The minimal e-degree problem in fragments of Peano arithmeticAnnals of Pure and Applied Logic 131 (1-3): 159-175. 2005.We study the minimal enumeration degree problem in models of fragments of Peano arithmetic () and prove the following results: in any model M of Σ2 induction, there is a minimal enumeration degree if and only if M is a nonstandard model. Furthermore, any cut in such a model has minimal e-degree. By contrast, this phenomenon fails in the absence of Σ2 induction. In fact, whether every Σ2 cut has minimal e-degree is independent of the Σ2 bounding principle
Areas of Interest
Philosophy of Language |
17th/18th Century Philosophy |