Works matching DE "RECURSIVELY enumerable sets"
Results: 83
Initial Segments in Rogers Semilattices of <MATH>\Sigma^0_n</MATH>-Computable Numberings.
- Published in:
- Algebra & Logic, 2003, v. 42, n. 2, p. 121, doi. 10.1023/A:1023354407888
- By:
- Publication type:
- Article
On generalisations of the notion of semirecursiveness.
- Published in:
- Discrete Mathematics & Applications, 2005, v. 15, n. 2, p. 201, doi. 10.1515/1569392053971497
- By:
- Publication type:
- Article
ON THE FINITE PRESENTATION OF SUBDIRECT PRODUCTS AND THE NATURE OF RESIDUALLY FREE GROUPS.
- Published in:
- American Journal of Mathematics, 2013, v. 135, n. 4, p. 891, doi. 10.1353/ajm.2013.0036
- By:
- Publication type:
- Article
On the bounded quasi-degrees of c.e. sets.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 3, p. 238, doi. 10.1002/malq.201200101
- By:
- Publication type:
- Article
Rice and Rice-Shapiro Theorems for transfinite correction grammars.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 5, p. 504, doi. 10.1002/malq.201020054
- By:
- Publication type:
- Article
Generic Amplification of Recursively Enumerable Sets.
- Published in:
- Algebra & Logic, 2018, v. 57, n. 4, p. 289, doi. 10.1007/s10469-018-9500-y
- By:
- Publication type:
- Article
A Generic relation on Recursively Enumerable Sets.
- Published in:
- Algebra & Logic, 2016, v. 55, n. 5, p. 387, doi. 10.1007/s10469-016-9410-9
- By:
- Publication type:
- Article
Computably enumerable sets and related issues.
- Published in:
- Algebra & Logic, 2012, v. 50, n. 6, p. 494, doi. 10.1007/s10469-012-9161-1
- By:
- Publication type:
- Article
Complexity of Ehrenfeucht models.
- Published in:
- Algebra & Logic, 2006, v. 45, n. 5, p. 289, doi. 10.1007/s10469-006-0027-2
- By:
- Publication type:
- Article
Index sets of computable structures.
- Published in:
- Algebra & Logic, 2006, v. 45, n. 5, p. 306, doi. 10.1007/s10469-006-0029-0
- By:
- Publication type:
- Article
Membrane division, restricted membrane creation and object complexity in P systems.
- Published in:
- International Journal of Computer Mathematics, 2006, v. 83, n. 7, p. 529, doi. 10.1080/00207160601065314
- By:
- Publication type:
- Article
SIMULTANEOUSLY ONE-TURN TWO-PUSHDOWN AUTOMATA.
- Published in:
- International Journal of Computer Mathematics, 2003, v. 80, n. 6, p. 679, doi. 10.1080/0020716031000070616
- By:
- Publication type:
- Article
Some Characterization of Recursively Enumerable Sets.
- Published in:
- International Journal of Computer Mathematics, 2002, v. 79, n. 2, p. 157, doi. 10.1080/00207160211924
- By:
- Publication type:
- Article
Cupping ?20enumeration degrees to 0e??
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 169, doi. 10.1017/S0960129508007378
- By:
- Publication type:
- Article
The method of the Yu?Ding Theorem and its application.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 207, doi. 10.1017/S0960129508007275
- By:
- Publication type:
- Article
Non-cupping, measure and computably enumerable splittings.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 25, doi. 10.1017/S0960129508007226
- By:
- Publication type:
- Article
Principal filters definable by parameters in bT?
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 153, doi. 10.1017/S0960129508007354
- By:
- Publication type:
- Article
On universal computably enumerable prefix codes.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 45, doi. 10.1017/S0960129508007238
- By:
- Publication type:
- Article
A Splitting with Infimum in the d-c. e. Degrees.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 53, doi. 10.1002/(SICI)1521-3870(200001)46:1<53::AID-MALQ53>3.0.CO;2-O
- By:
- Publication type:
- Article
Approaches to Effective Semi-Continuity of Real Functions.
- Published in:
- Mathematical Logic Quarterly, 1999, v. 45, n. 4, p. 481, doi. 10.1002/malq.19990450407
- By:
- Publication type:
- Article
On a Class of Recursively Enumerable Sets.
- Published in:
- Mathematical Logic Quarterly, 1999, v. 45, n. 4, p. 467, doi. 10.1002/malq.19990450405
- By:
- Publication type:
- Article
An Interval of Computably Enumerable Isolating Degrees.
- Published in:
- Mathematical Logic Quarterly, 1999, v. 45, n. 1, p. 59, doi. 10.1002/malq.19990450106
- By:
- Publication type:
- Article
Difference Sets and Recursion Theory.
- Published in:
- Mathematical Logic Quarterly, 1998, v. 44, n. 4, p. 515, doi. 10.1002/malq.19980440410
- By:
- Publication type:
- Article
On the Universal Splitting Property.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 311, doi. 10.1002/malq.19970430303
- By:
- Publication type:
- Article
On Nondeterminism, Enumeration Reducibility and Polynomial Bounds.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 287, doi. 10.1002/malq.19970430302
- By:
- Publication type:
- Article
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 83, doi. 10.1002/malq.19970430111
- By:
- Publication type:
- Article
Effective Nonrecursiveness.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 45, doi. 10.1002/malq.19970430106
- By:
- Publication type:
- Article
Intrinsically Hyperarithmetical Sets.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 469, doi. 10.1002/malq.19960420139
- By:
- Publication type:
- Article
Strong Minimal Covers for Recursively Enumerable Degrees.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 191, doi. 10.1002/malq.19960420116
- By:
- Publication type:
- Article
Splittings of 0' into the Recursively Enumerable Degrees.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 249, doi. 10.1002/malq.19960420122
- By:
- Publication type:
- Article
The Isolated D. R. E. Degrees are Dense in the R. E. Degrees.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 83, doi. 10.1002/malq.19960420108
- By:
- Publication type:
- Article
Effectively and Noneffectively Nowhere Simple Sets.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 241, doi. 10.1002/malq.19960420121
- By:
- Publication type:
- Article
Some New Lattice Constructions in High R. E. Degrees.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 3, p. 395, doi. 10.1002/malq.19950410311
- By:
- Publication type:
- Article
Complete, Recursively Enumerable Relations in Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 65, doi. 10.1002/malq.19950410107
- By:
- Publication type:
- Article
Recursively Enumerable Equivalence Relations Modulo Finite Differences.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 490, doi. 10.1002/malq.19940400407
- By:
- Publication type:
- Article
Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 3, p. 287, doi. 10.1002/malq.19940400302
- By:
- Publication type:
- Article
Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 95, doi. 10.1002/malq.19940400113
- By:
- Publication type:
- Article
The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑<sub>5</sub>-Complete.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 87, doi. 10.1002/malq.19940400112
- By:
- Publication type:
- Article
System function languages.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 357, doi. 10.1002/malq.19930390140
- By:
- Publication type:
- Article
Isols and maximal intersecting classes.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 67, doi. 10.1002/malq.19930390110
- By:
- Publication type:
- Article
Computable limits and colimits in categories of partial enumerated sets.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 181, doi. 10.1002/malq.19930390121
- By:
- Publication type:
- Article
Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 19-22, p. 331, doi. 10.1002/malq.19910371907
- By:
- Publication type:
- Article
Effective Enumerations of Families of Finite Sets of Natural Numbers.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 19-22, p. 301, doi. 10.1002/malq.19910371904
- By:
- Publication type:
- Article
Jumps of Hemimaximal Sets.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 8, p. 113, doi. 10.1002/malq.19910370802
- By:
- Publication type:
- Article
Second Order Definability Via enumerations.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. 45, doi. 10.1002/malq.19910370206
- By:
- Publication type:
- Article
Jumps of nontrivial splittings of recursively enumerable sets.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 285, doi. 10.1002/malq.19900360403
- By:
- Publication type:
- Article
A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 2, p. 155, doi. 10.1002/malq.19890350205
- By:
- Publication type:
- Article
On Some Properties of Recursively Enumerable Equivalence Relations.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 3, p. 261, doi. 10.1002/malq.19890350309
- By:
- Publication type:
- Article
Decidability, Recursive Enumerability and Kleene Hierarchy For L-Subsets.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 1, p. 49, doi. 10.1002/malq.19890350107
- By:
- Publication type:
- Article
A Note on 'ℰ.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 115, doi. 10.1002/malq.19870330205
- By:
- Publication type:
- Article