#### Filter Results:

- Full text PDF available (6)

#### Publication Year

2005

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Thomas F. Kent
- J. Symb. Log.
- 2010

- Thomas F. Kent, Andrew E. M. Lewis, Andrea Sorbi
- Ann. Pure Appl. Logic
- 2012

- Thomas F. Kent
- 2005

Enumeration reducibility was introduced by Friedberg and Rogers in 1959 as a positive reducibility between sets. The enumeration degrees provide a wider context in which to view the Turing degrees by allowing us to use any set as an oracle instead of just total functions. However, in spite of the fact that there are several applications of enumeration… (More)

- Thomas F. Kent, Andrea Sorbi
- J. Symb. Log.
- 2007

We show that the first order theory of the Σ 0 2 s-degrees is undecidable. Via isomorphism of the s-degrees with the Q-degrees, this also shows that the first order theory of the Π 0 2 Q-degrees is undecidable. Together with a result of Nies, the proof of the undecidability of the Σ 0 2 s-degrees yields a new proof of the known fact (due to Downey, LaForte… (More)

- Thomas F. Kent
- J. Symb. Log.
- 2006

- Thomas F. Kent
- TAMC
- 2008

For any enumeration degree a let D s a be the set of s-degrees contained in a. We answer an open question of Watson by showing that if a is a nontrivial Σ 0 2-enumeration degree, then D s a has no least element. We also show that every countable partial order embeds into D s a .

- Thomas F. Kent
- Ann. Pure Appl. Logic
- 2009

For any enumeration degree a let D s a be the set of s-degrees contained in a. We answer an open question of Watson by showing that if a is a nontrivial Σ 0 2-enumeration degree, then D s a has no least element. We also show that every countable partial order embeds into D s a. Finally, we construct Σ 0 2-sets A and B such that B ≤ e A but for every X ≡ e… (More)

- Sriram Krishnamoorthy, Thomas F Kent, Jing Yang, Pil Sung Park, Roberto C Myers, Siddharth Rajan
- Nano letters
- 2013

Tunnel junctions could have a great impact on gallium nitride and aluminum nitride-based devices such as light-emitting diodes and lasers by overcoming critical challenges related to hole injection and p-contacts. This paper demonstrates the use of GdN nanoislands to enhance interband tunneling and hole injection into GaN p-n junctions by several orders of… (More)

- Thomas F. Kent
- 2008

When working with a mathematical structure, it is natural to ask how complicated the first order theory of the structure is. In the case of structures that can be interpreted in first order arithmetic, this is equivalent to asking if the theory is as complex as possible, namely is it as complex as first order arithmetic. Restricting our attention to the… (More)