1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

We consider the set of jumps below a Turing degree, given by $\mathsf{JB}(\mathbf{a})=\{\mathbf{x}':\mathbf{x}\leq\mathbf{a}\}$ , with a focus on the problem: Which recursively enumerable (r.e.) degrees $\mathbf{a}$ are uniquely determined by $\mathsf{JB}(\mathbf{a})$ ? Initially, this is motivated as a strategy to solve the rigidity problem for the partial order $\mathcal{R}$ of r.e. degrees. Namely, we show that if every high ${}_{2}$ r.e. degree $\mathbf{a}$ is determined by $\mathsf{JB}(\mathbf{a})$ , then $\mathcal{R}$ cannot have a nontrivial automorphism. We then defeat the strategy—at least in the form presented—by constructing pairs $\mathbf{a}_{0}$ , $\mathbf{a}_{1}$ of distinct r.e. degrees such that $\mathsf{JB}(\mathbf{a}_{0})=\mathsf{JB}(\mathbf{a}_{1})$ within any possible jump class $\{\mathbf{x}:\mathbf{x}'=\mathbf{c}\}$ . We give some extensions of the construction and suggest ways to salvage the attack on rigidity.

Pertenece a

Project Euclid (Hosted at Cornell University Library)  

Autor(es)

Belanger, David R. -  Shore, Richard A. - 

Id.: 70828094

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras claver.e. degrees - 

Tipo de recurso: Text  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Copyright 2018 University of Notre Dame

Formatos:  application/pdf - 

Requerimientos técnicos:  Browser: Any - 

Relación: [References] 0029-4527
[References] 1939-0726

Fecha de contribución: 17-mar-2018

Contacto:

Localización:
* Notre Dame J. Formal Logic 59, no. 1 (2018), 91-107
* doi:10.1215/00294527-2017-0014

Otros recursos del mismo autor(es)

  1. Detection and drivers of exposure and effects of pharmaceuticals in higher vertebrates Pharmaceuticals are highly bioactive compounds now known to be widespread environmental contaminants...
  2. Priority arguments in α-recursion theory, by Richard A. Shore.

Otros recursos de la mismacolección

  1. Actualism, Serious Actualism, and Quantified Modal Logic This article studies seriously actualistic quantified modal logics. A key component of the language ...
  2. Ostrowski Numeration Systems, Addition, and Finite Automata We present an elementary three-pass algorithm for computing addition in Ostrowski numeration systems...
  3. Nonreduction of Relations in the Gromov Space to Polish Actions We show that in the Gromov space of isometry classes of pointed proper metric spaces, the equivalenc...
  4. A Problem in Pythagorean Arithmetic Problem 2 at the 56th International Mathematical Olympiad (2015) asks for all triples $(a,b,c)$ of p...
  5. Two More Characterizations of K-Triviality We give two new characterizations of $K$ -triviality. We show that if for all $Y$ such that $\Omega$...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.