Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Thomas F. Kent is active.

Publication


Featured researches published by Thomas F. Kent.


theory and applications of models of computation | 2008

s-degrees within e-degrees

Thomas F. Kent

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


Annals of Pure and Applied Logic | 2009

The structure of the s-degrees contained within a single e-degree

Thomas F. Kent

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


Archive for Mathematical Logic | 2016

A note on the enumeration degrees of 1-generic sets

Liliana Badillo; Caterina Bianchini; Hristo Ganchev; Thomas F. Kent; Andrea Sorbi

We show that every nonzero


Annals of Pure and Applied Logic | 2012

Empty intervals in the enumeration degrees

Thomas F. Kent; Andrew E. M. Lewis; Andrea Sorbi


Geoderma | 2009

Image analysis and fractal geometry to characterize soil desiccation cracks

J.U. Baer; Thomas F. Kent; Stephen H. Anderson

{\Delta^{0}_{2}}


Transactions of the American Mathematical Society | 2010

On the degree spectrum of a π01 class

Thomas F. Kent; Andrew E. M. Lewis


Tbilisi Mathematical Journal | 2008

Undecidability of local structures of s-degrees and Q-degrees

Maria L. Affatato; Thomas F. Kent; Andrea Sorbi

Δ20 enumeration degree bounds the enumeration degree of a 1-generic set. We also point out that the enumeration degrees of 1-generic sets, below the first jump, are not downwards closed, thus answering a question of Cooper.


Journal of Symbolic Logic | 2007

Bounding Nonsplitting Enumeration Degrees

Thomas F. Kent; Andrea Sorbi

There is a π20 enumeration degree which is a strong minimal cover. This is the best result possible since the Σ20 enumeration degrees are dense. A priority proof using doubling requests is used to construct the required sets.


Journal of Symbolic Logic | 2006

The Π₃-theory of the Σ⁰₂-enumeration degrees is undecidable

Thomas F. Kent


Journal of Symbolic Logic | 2010

Interpreting true arithmetic in the Δ02-enumeration degrees

Thomas F. Kent

Collaboration


Dive into the Thomas F. Kent's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge