<style face="normal" font="default" size="100%">On the c.e. degrees realizable in $\Pi^0_1$ classes</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">On the c.e. degrees realizable in $\Pi^0_1$ classes</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Degrees of categoricity and treeable degrees</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Effectiveness of Walker's cancellation theorem</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Which classes of structures are both pseudo-elementary and definable by an infinitary sentence?</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Every $\Delta_2^0$ degree is a strong degree of categoricity</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Positive Enumerable Functors</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Some questions of uniformity in algorithmic randomness</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Degrees of categoricity above limit ordinals</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Optimal bounds for single-source Kolmogorov extractors</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Finite computable dimension and degrees of categoricity</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The reverse mathematics of Hindman's theorem for sums of exactly two elements</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Bounded low and high sets</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Degrees of categoricity on a cone via η-systems</style>

Drupal-Biblio

34

<style face="normal" font="default" size="100%">When does a relation code an isomorphism?</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Degrees that are not degrees of categoricity</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Measuring complexities of classes of structures</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A bounded jump for the bounded Turing degrees</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Degrees of categoricity and the hyperarithmetic hierarchy</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The complexity of central series in nilpotent computable groups</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Computability of Fraïssé limits</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Limits on jump inversion for strong reducibilities</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Degree spectra and immunity properties</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Linear orders with distinguished function symbol</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The settling time reducibility ordering and $\Delta_2^0$ sets</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The strength of the rainbow Ramsey theorem</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Computable categoricity of graphs with finite components</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">When is reachability intrinsically decidable?</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Bounding homogeneous models</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Comparing c.e. sets based on their settling times</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The settling-time reducibility ordering</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Boolean algebras, Tarski invariants, and index sets</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Computability results used in differential geometry</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Every 1-generic computes a properly 1-generic</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A minimal pair of $K$-degrees</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Bounding prime models</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Degree spectra of prime models</style>

Drupal-Biblio

6

<style face="normal" font="default" size="100%">Applications of computability theory to prime models and differential geometry</style>