Thomas F. Kent
Marywood University
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Thomas F. Kent.
theory and applications of models of computation | 2008
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
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
Liliana Badillo; Caterina Bianchini; Hristo Ganchev; Thomas F. Kent; Andrea Sorbi
We show that every nonzero
Annals of Pure and Applied Logic | 2012
Thomas F. Kent; Andrew E. M. Lewis; Andrea Sorbi
Geoderma | 2009
J.U. Baer; Thomas F. Kent; Stephen H. Anderson
{\Delta^{0}_{2}}
Transactions of the American Mathematical Society | 2010
Thomas F. Kent; Andrew E. M. Lewis
Tbilisi Mathematical Journal | 2008
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
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
Thomas F. Kent
Journal of Symbolic Logic | 2010
Thomas F. Kent