WorldCat Identities

Sacks, Gerald E.

Overview
Works: 16 works in 179 publications in 4 languages and 4,668 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, Contributor
Classifications: QA9.6, 511.3
Publication Timeline
.
Most widely held works by Gerald E Sacks
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 by Heinz-Dieter Ebbinghaus( Book )

38 editions published between 1985 and 1990 in English and Undetermined and held by 688 WorldCat member libraries worldwide

These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics
Degrees of unsolvability by Gerald E Sacks( Book )

37 editions published between 1963 and 2016 in 4 languages and held by 589 WorldCat member libraries worldwide

The book description for the forthcoming "Degrees of Unsolvability. (AM-55)" is not yet available
Saturated model theory by Gerald E Sacks( Book )

30 editions published between 1972 and 2010 in 3 languages and held by 488 WorldCat member libraries worldwide

"This book contains the material for a first course in pure model theory with applications to differentially closed fields. Topics covered in this book include saturated model criteria for model completeness and elimination of quantifiers; Morley rank and degree of element types; categoricity in power; two-cardinal theorems; existence and uniqueness of prime model extensions of substructures of models of totally transcendental theories; and homogeneity of models of [omega[subscript 1]]-categorical theories."--Jacket
Higher recursion theory by Gerald E Sacks( Book )

18 editions published between 1989 and 2011 in English and Undetermined and held by 295 WorldCat member libraries worldwide

Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and examples in higher recursion theory. It is also a crossroad for several areas of mathematical logic: in set theory it is an initial segment of Godel's L; in model theory, the least admissible set after ; in descriptive set theory, the setting for effective arguments. In this book, hyperarithmetic theory is developed at length and used to lift classical recursion theory from integers to recursive ordinals (metarecursion). Two further liftings are then made, first ordinals ( -recursion) and then to sets (E-recursion). Techniques such as finite and infinite injury, forcing and fine structure and extended and combined Dynamic and syntactical methods are contrasted. Several notions of reducibility and computation are compared. Post's problem is answere affirmatively in all three settings. This long-awaited volume of the -series will be a "Must" for all working in the field
Generalized recursion theory. Proceedings of the 1972 Oslo symposium by Jens Erik Fenstad( Book )

16 editions published in 1978 in English and Undetermined and held by 287 WorldCat member libraries worldwide

Mathematical logic in the 20th century by Gerald E Sacks( Book )

17 editions published in 2003 in English and held by 218 WorldCat member libraries worldwide

This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by Professor Gerald ESacks. Some of the authors are Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin
Selected logic papers by Gerald E Sacks( Book )

10 editions published in 1999 in English and held by 109 WorldCat member libraries worldwide

The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical
Model theory and applications by P Mangani( Book )

1 edition published in 1975 in English and held by 4 WorldCat member libraries worldwide

Annotation
On suborderings of degrees of recursive unsolvability by Gerald E Sacks( )

2 editions published in 1961 in English and held by 3 WorldCat member libraries worldwide

Model theory and applications( )

2 editions published in 1975 in English and held by 2 WorldCat member libraries worldwide

Advances in mathematics( Book )

1 edition published in 1971 in English and held by 1 WorldCat member library worldwide

Teorija nasyščennyh modelej by Gerald E Sacks( Book )

1 edition published in 1976 in Russian and held by 1 WorldCat member library worldwide

Rekursionstheorie 28.01. - 03.02.1996( Book )

1 edition published in 1996 in English and held by 1 WorldCat member library worldwide

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 by S Homer( Book )

3 editions published in 1990 in English and Undetermined and held by 1 WorldCat member library worldwide

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types
Rekursionstheorie 15.4. bis 21.4.1984( Book )

1 edition published in 1984 in English and held by 1 WorldCat member library worldwide

Degrees of Unsolvability. (AM-55) by Gerald E Sacks( )

1 edition published in 1964 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.04 for Mathematic ... to 0.99 for Advances i ...)

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
Alternative Names
Gerald E. Sacks US-amerikanischer Logiker

Gerald Sacks Amerikaans wiskundige

Gerald Sacks amerikansk matematikar

Gerald Sacks amerikansk matematiker

Sacks, G. E.

Sacks, G. E. 1933-

Sacks, G. E. (Gerald E.)

Sacks, Gerald Enoch 1933-

Saks, Dž. E.

Saks, Dž. E. 1933-

Languages
Covers
Degrees of unsolvabilitySaturated model theoryHigher recursion theoryMathematical logic in the 20th centurySelected logic papersLogic 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