Logic and Computer Science: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C. I. M. E. ) Held at Montecatini Terme, Italy, June 20-28 1988 von Homer, Steven, Nerode, Anil, Platek, Richard A, Sacks, Gerald E, Scedrov, Andre, Odifreddi, Piergiorgio

Volltext

Bounds on Weak Scattering von Sacks, Gerald E.

Volltext

Recursion Theory Week: Proceedings of a Conference Held in Oberwolfach, FRG, March 19-25 1989 von Ambos-Spies, Klaus, Müller, Gert H, Sacks, Gerald E

Volltext

Recursion Theory Week: Proceedings of a Conference Held in Oberwolfach, West Germany, April 15-21 1984 von Ebbinghaus, Heinz-Dieter, Müller, Gert H, Sacks, Gerald E

Volltext

Effective forcing versus proper forcing von Sacks, Gerald E

Volltext

Countable admissible ordinals and hyperdegrees von Sacks, Gerald E

Volltext

The Recursively Enumerable Degrees are Dense von Sacks, Gerald E.

Volltext

A maximal set which is not complete von Sacks, Gerald E.

Volltext

Priority Arguments in Higher Recursion Theory von Sacks, Gerald E.

Volltext

Model Theory and Applications: Lecture Notes for Course (a) Theories of Algebraic Type von Sacks, Gerald E.

Volltext

Metarecursive sets von Kreisel, G., Sacks, Gerald E.

Volltext

Some open questions in recursion theory von Sacks, Gerald E.

Volltext

Prolog Programming von Sacks, Gerald E.

Volltext

Chapter 10 E-recursion von Sacks, Gerald E.

Volltext

Measure-theoretic uniformity in recursion theory and set theory von Sacks, Gerald E.

Volltext

Recursion theory on strongly Σ2 inadmissible ordinals von Chong, C. T.

Volltext

Post’s problem, admissible ordinals, and regularity von Sacks, Gerald E.

Volltext

On the reducibility of ⊓11 sets von Sacks, Gerald E

Volltext

On the reducibility of [formula omitted] sets von Sacks, Gerald E

Volltext

J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addiso... von Sacks, Gerald E.

Volltext