Ambos-Spies, K.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

The theory of the recursively enumerable weak truth-table degrees is undecidable

Ambos-Spies, Klaus, Nies, André, Shore, Richard A.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 708 KB

english, 1992

52

Quantitative aspects of speed-up and gap phenomena

AMBOS-SPIES, KLAUS, KRÄLING, THORSTEN

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 304 KB

english, 2010

53

Lattice embeddings into the recursively enumerable degrees. II

Ambos-Spies, K., Lerman, M.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.56 MB

english, 1989

54

Computability in Europe 2009

Ambos-Spies, K., Beckmann, A., Csuhaj-Varju, E., Lowe, B.

Journal:

Journal of Logic and Computation

Year:

2013

Language:

english

File:

PDF, 75 KB

english, 2013

55

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || Recursive enumeration without repetition revisited

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 1.25 MB

english, 1990

56

Degree Theoretical Splitting Properties of Recursively Enumerable Sets

Klaus Ambos-Spies and Peter A. Fejer

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 609 KB

english, 1988

57

Lattice Embeddings into the Recursively Enumerable Degrees

K. Ambos-Spies and M. Lerman

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 402 KB

english, 1986

58

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || Superbranching degrees

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 597 KB

english, 1990

59

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || On the structure of degrees below O′

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 572 KB

english, 1990

60

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || Array nonrecursive sets and multiple permitting arguments

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 2.19 MB

english, 1990

61

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || Enumeration reducibility, nondeterministic computations and relative computability of partial functions

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 3.52 MB

english, 1990

62

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || Honest polynomial reductions and exptally sets

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 1.23 MB

english, 1990

63

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || Σ2-induction and the construction of a high degree

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 833 KB

english, 1990

64

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || The metamathematics of Fraïssé's order type conjecture

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 812 KB

english, 1990

65

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || Positive solutions to Post's problem

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 519 KB

english, 1990

66

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || Notes on the O‴ priority method with special attention to density results

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 1.52 MB

english, 1990

67

2011 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '11

Ambos-Spies, Klaus

Journal:

Bulletin of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 612 KB

english, 2012

68

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science IX, Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science Volume 134 || Lattice embeddings into the R.E. Degrees preserving 1

Ambos-Spies, Klaus

Year:

1995

Language:

english

File:

PDF, 957 KB

english, 1995

69

[Studies in Logic and the Foundations of Mathematics] Handbook of Computability Theory Volume 140 || List of Contributors

Ambos-Spies, K.

Year:

1999

Language:

english

File:

PDF, 65 KB

english, 1999

70

[Studies in Logic and the Foundations of Mathematics] Handbook of Computability Theory Volume 140 || Polynomial Time Reducibilities and Degrees

Ambos-Spies, Klaus

Year:

1999

Language:

english

File:

PDF, 1.22 MB

english, 1999

71

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || A characterization of effective topological spaces

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 1.96 MB

english, 1990

72

Automorphism bases for the recursively enumerable degrees

Ambos-Spies, Klaus, Löwe, Benedikt

Journal:

Year:

2018

Language:

english

File:

PDF, 246 KB

english, 2018

73

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || Undecidability and initial segments of the wtt-degrees ≤0′

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 1.95 MB

english, 1990

74

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || On the relationship between the complexity, the degree, and the extension of a computable set

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

Language:

english

File:

PDF, 2.47 MB

english, 1990

75

[Lecture Notes in Mathematics] Recursion Theory Week Volume 1432 || On the relationship between the complexity, the degree, and the extension of a computable set

Ambos-Spies, Klaus, Müller, Gert H., Sacks, Gerald E.

Year:

1990

File:

PDF, 2.47 MB

1990