Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

Autostability spectra for decidable structures

View through CrossRef
We study autostability spectra relative to strong constructivizations (SC-autostability spectra). For a decidable structure$\mathcal{S}$, the SC-autostability spectrum of$\mathcal{S}$is the set of all Turing degrees capable of computing isomorphisms among arbitrary decidable copies of$\mathcal{S}$. The degree of SC-autostability for$\mathcal{S}$is the least degree in the spectrum (if such a degree exists).We prove that for a computable successor ordinal α, every Turing degree c.e. in and above0(α)is the degree of SC-autostability for some decidable structure. We show that for an infinite computable ordinal β, every Turing degree c.e. in and above0(2β+1)is the degree of SC-autostability for some discrete linear order. We prove that the set of all PA-degrees is an SC-autostability spectrum. We also obtain similar results for autostability spectra relative ton-constructivizations.
Title: Autostability spectra for decidable structures
Description:
We study autostability spectra relative to strong constructivizations (SC-autostability spectra).
For a decidable structure$\mathcal{S}$, the SC-autostability spectrum of$\mathcal{S}$is the set of all Turing degrees capable of computing isomorphisms among arbitrary decidable copies of$\mathcal{S}$.
The degree of SC-autostability for$\mathcal{S}$is the least degree in the spectrum (if such a degree exists).
We prove that for a computable successor ordinal α, every Turing degree c.
e.
in and above0(α)is the degree of SC-autostability for some decidable structure.
We show that for an infinite computable ordinal β, every Turing degree c.
e.
in and above0(2β+1)is the degree of SC-autostability for some discrete linear order.
We prove that the set of all PA-degrees is an SC-autostability spectrum.
We also obtain similar results for autostability spectra relative ton-constructivizations.

Related Results

Simplified access of asteroid spectral data and metadata using classy
Simplified access of asteroid spectral data and metadata using classy
Remote-sensing spectroscopy is the most efficient observational technique to characterise the surface composition of asteroids within a reasonable timeframe. While photometry allow...
Mid‐Infrared Spectroscopy: Anomalies, Artifacts and Common Errors
Mid‐Infrared Spectroscopy: Anomalies, Artifacts and Common Errors
Abstract Understanding, appreciating and recognizing the influences that anomalies, artifacts and common errors have on the appearance and spectral contrast ...
Jiamusi pulsar observations
Jiamusi pulsar observations
Context. Pulsars scintillate. Dynamic spectra show brightness variation of pulsars in the time and frequency domain. Secondary spectra demonstrate the distribution of fluctuation p...
Synthetic Analogs for the Surface of Mercury: FTIR Studies of Smooth Plains Analogs
Synthetic Analogs for the Surface of Mercury: FTIR Studies of Smooth Plains Analogs
Introduction: The IRIS (Infrared and Raman for Interplanetary Spectroscopy) laboratory at the Institut für Planetologie in Münster produces a database of mid-infr...
Arriving on Time: Punctuality in Structures, Isomorphisms and 1-Decidability
Arriving on Time: Punctuality in Structures, Isomorphisms and 1-Decidability
<p><strong>This thesis contributes to the area of computable structure theory. In particular, it contributes to the study of punctual structures; the systematic study o...
Hurricane Eloise Directional Wave Energy Spectra
Hurricane Eloise Directional Wave Energy Spectra
ABSTRACT Directiona1 wave energy spectra, calculated from data recorded during Hurricane Eloise (Gulf of Mexico, 1975), are presented. The spectra, based on an en...

Back to Top