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 1521, 1984 by
HeinzDieter 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
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. (AM55)" is not yet available
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. (AM55)" 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; twocardinal 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
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; twocardinal 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 (Erecursion). 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 longawaited volume of the series will be a "Must" for all working in the field
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 (Erecursion). 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 longawaited 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
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
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 Erecursion. His general introduction provides a chronology both personal and technical
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 Erecursion. 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
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
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
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
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
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
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 2028, 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
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
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
Degrees of Unsolvability. (AM55) by
Gerald E Sacks(
)
1 edition published in 1964 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1964 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Müller, G. H. (Gert Heinz) 1923 Other Editor
 Ebbinghaus, HeinzDieter 1939 Other Author Editor
 AmbosSpies, K. (Klaus) Other Author Editor
 Fenstad, Jens Erik Editor
 Gandy, R. O. (Robin O.) Editor
 SpringerLink (Service en ligne)
 Nerode, Anil
 Scedrov, Andre
 Homer, Steven Author
 Platek, Richard A
Useful Links
Alternative Names
Gerald E. Sacks USamerikanischer 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