Results 281 to 290 of about 11,174,433 (339)

THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES

Journal of Mathematical Logic, 2006
Sacks [23] asks if the metarecursively enumerable degrees are elementarily equivalent to the r.e. degrees. In unpublished work, Slaman and Shore proved that they are not. This paper provides a simpler proof of that result and characterizes the degree of the theory as [Formula: see text] or, equivalently, that of the truth set of [Formula: see text].
Noam Greenberg, Richard A. Shore, Theodore A. Slaman   +2 more
openaire   +1 more source

Mapping Degree Theory

, 2009
The literature devoted to degree theory and its applications is abundant, but the richness of the topics is such that it is not surprising to see regularly the publication of new books in this area.
Enrique Outerelo Domínguez, Jesús María Ruiz Sancho   +1 more
semanticscholar   +2 more sources

6. Degree theory

Ordinal Computability, 2019
openaire   +2 more sources

Equivariant Degree Theory

, 2003
This book presents a new degree theory for maps which commute with a group of symmetries. This degree is no longer a single integer but an element of the group of equivariant homotopy classes of maps between two spheres and depends on the orbit types of ...
Jorge Ize, Alfonso Vignoli
openaire   +2 more sources

Degree Theory and Applications

2005
exaly   +2 more sources

On Hesitation Degrees in IF-Set Theory

2004
In this paper, we propose a generalization of the definition of an IF-set, an intuitionistic fuzzy set, and related hesitation degrees. We flexibilize the original method of computing these values by the use of triangular norms. Next, we present its application to group decision making problems.
Anna Pankowska, Maciej Wygralak
openaire   +1 more source

Appendix. Degree Theory

2005
exaly   +2 more sources

Decidability of the “almost all” theory of degrees

Journal of Symbolic Logic, 1972
Ever since Spector's brilliant application of measure theory to recursion theory in 1958 [6] it has been realized that measure theory promotes sweeping simplifications in the theory of degrees. Results previously thought to be pathological were shown by Spector, and later Sacks [4], [5], to hold for almost all degrees (“almost all” in the sense of ...
openaire   +2 more sources

LCP Degree Theory and Oriented Matroids

SIAM Journal on Matrix Analysis and Applications, 1994
Summary: It is shown that the degree of a square-oriented matroid \(\mathcal M\) can be defined in terms of the number of solutions to the oriented matroid complementarity problem defined by a point extension of \(\mathcal M\), and that this definition is independent of the point extension. If \(\mathcal M\) is represented by a matrix \([I, -M]\), then
openaire   +2 more sources

THE FIRST‐ORDER THEORY OF THE c‐DEGREES

Mathematical Logic Quarterly, 1984
The c-degrees are the equivalence classes of reals under the relation \(a=_ cb\leftrightarrow L(a)=L(b)\), where L(a) denotes the universe of sets constructible from a. Ordered by the relation \(a\leq_ cb\leftrightarrow a\in L(b)\), the c-degrees form an upper-semilattice, \(\). In this paper it is shown that under certain set- theoretical assumptions (
openaire   +1 more source