Abstract. We present a relativized version of the notion of a degree spectrum of a structure with respect to finitely many abstract structures. We study the connection to the notion of joint spectrum. We prove that some properties of the degree spectrum as a minimal pair theorem and the existence of quasi-minimal degrees are true for the relative spectrum. Key words: enumeration degrees; forcing; degree spectra; recursive Σ + k formulae.
© 2020, Pleiades Publishing, Ltd. Abstract: The investigation of computability in topological struct...
© 2019, Springer Nature Switzerland AG. We show that for both the unary relation of transcendence an...
In this survey, we discuss computability spectra of countable structures that provide a natural meas...
Abstract. Given a countable structure A, we dene the degree spectrum DS(A) of A to be the set of all...
Abstract. We introduce the notion of a degree spectrum of a complete theory to be the set of Turing ...
Abstract. Two properties of the Co-spectrum of the Joint spectrum of infinitely many abstract struct...
A standard way to capture the inherent complexity of the isomorphism type of a countable structure i...
We argue for the existence of structures with the spectrum {x : x ≥ a} of degrees, where a is an arb...
We survey known results on spectra of structures and on spectra of relations on computable structure...
In computable model theory, mathematical structures are studied on the basis of their computability ...
We analyze the degree spectra of structures in which different types of immunity conditions are enco...
We construct the degree b ≤ 0″ admitting no algebraic structure with degree spectrum {x: x ≰ b}. Mor...
Abstract. For any P ⊆ 2ω, define S(P), the degree spectrum of P, to be the set of all Turing degrees...
AbstractWe show that for every computably enumerable (c.e.) degree a>0 there is an intrinsically c.e...
1.1. Degree Spectrum and Cospectrum of a structure. Let A = (N;R1; : : :; Rk) be a partial structure...
© 2020, Pleiades Publishing, Ltd. Abstract: The investigation of computability in topological struct...
© 2019, Springer Nature Switzerland AG. We show that for both the unary relation of transcendence an...
In this survey, we discuss computability spectra of countable structures that provide a natural meas...
Abstract. Given a countable structure A, we dene the degree spectrum DS(A) of A to be the set of all...
Abstract. We introduce the notion of a degree spectrum of a complete theory to be the set of Turing ...
Abstract. Two properties of the Co-spectrum of the Joint spectrum of infinitely many abstract struct...
A standard way to capture the inherent complexity of the isomorphism type of a countable structure i...
We argue for the existence of structures with the spectrum {x : x ≥ a} of degrees, where a is an arb...
We survey known results on spectra of structures and on spectra of relations on computable structure...
In computable model theory, mathematical structures are studied on the basis of their computability ...
We analyze the degree spectra of structures in which different types of immunity conditions are enco...
We construct the degree b ≤ 0″ admitting no algebraic structure with degree spectrum {x: x ≰ b}. Mor...
Abstract. For any P ⊆ 2ω, define S(P), the degree spectrum of P, to be the set of all Turing degrees...
AbstractWe show that for every computably enumerable (c.e.) degree a>0 there is an intrinsically c.e...
1.1. Degree Spectrum and Cospectrum of a structure. Let A = (N;R1; : : :; Rk) be a partial structure...
© 2020, Pleiades Publishing, Ltd. Abstract: The investigation of computability in topological struct...
© 2019, Springer Nature Switzerland AG. We show that for both the unary relation of transcendence an...
In this survey, we discuss computability spectra of countable structures that provide a natural meas...