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...
Neural network-based classification of X-ray fluorescence spectra of artists’ pigments: an approach leveraging a synthetic dataset created using the fundamental parameters method
Neural network-based classification of X-ray fluorescence spectra of artists’ pigments: an approach leveraging a synthetic dataset created using the fundamental parameters method
AbstractX-ray fluorescence (XRF) spectroscopy is an analytical technique used to identify chemical elements that has found widespread use in the cultural heritage sector to charact...
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...
The Decrease in Spectrum Intensity of ESBL Spectra after Exposure to Clavulanic Acid in Nosocomial Urinary Tract Infected Escherichia coli Analysed by VITEK® MS
The Decrease in Spectrum Intensity of ESBL Spectra after Exposure to Clavulanic Acid in Nosocomial Urinary Tract Infected Escherichia coli Analysed by VITEK® MS
Abstract The present study aimed to investigate the influence of clavulanic acid on the spectrum intensity of Extended Spectrum β- Lactamase (ESBL) indicative spectra in the nosoco...
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...

