Sacks, Gerald E.
Overview
Works:  36 works in 232 publications in 5 languages and 5,483 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Other, htt, Contributor, Publisher 
Classifications:  QA3, 511.3 
Publication Timeline
.
Most widely held works by
Gerald E Sacks
Mathematical logic in the 20th century by
Gerald E Sacks(
)
20 editions published in 2003 in English and held by 1,720 WorldCat member libraries worldwide
A collection of 31 important  both in ideas and results  papers published by mathematical logicians in the 20th century. The papers have been selected by Professor Gerald E. Sacks. The authors include Godel, Kleene, Tarski, A. Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin
20 editions published in 2003 in English and held by 1,720 WorldCat member libraries worldwide
A collection of 31 important  both in ideas and results  papers published by mathematical logicians in the 20th century. The papers have been selected by Professor Gerald E. Sacks. The authors include Godel, Kleene, Tarski, A. Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin
Degrees of unsolvability by
Gerald E Sacks(
Book
)
31 editions published between 1963 and 2016 in 3 languages and held by 576 WorldCat member libraries worldwide
The book description for the forthcoming "Degrees of Unsolvability. (AM55)" is not yet available
31 editions published between 1963 and 2016 in 3 languages and held by 576 WorldCat member libraries worldwide
The book description for the forthcoming "Degrees of Unsolvability. (AM55)" is not yet available
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 1521, 1984 by
HeinzDieter Ebbinghaus(
Book
)
21 editions published between 1985 and 2006 in English and held by 565 WorldCat member libraries worldwide
21 editions published between 1985 and 2006 in English and held by 565 WorldCat member libraries worldwide
Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 1925, 1989 by
K AmbosSpies(
Book
)
29 editions published between 1985 and 2006 in English and Undetermined and held by 527 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
29 editions published between 1985 and 2006 in English and Undetermined and held by 527 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
Saturated model theory by
Gerald E Sacks(
Book
)
31 editions published between 1972 and 2010 in 3 languages and held by 501 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."BOOK JACKET
31 editions published between 1972 and 2010 in 3 languages and held by 501 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."BOOK JACKET
Generalized recursion theory II : proceedings of the 1977 Oslo symposium by
Jens Erik Fenstad(
Book
)
18 editions published in 1978 in English and Undetermined and held by 442 WorldCat member libraries worldwide
Provability, Computability and Reflection
18 editions published in 1978 in English and Undetermined and held by 442 WorldCat member libraries worldwide
Provability, Computability and Reflection
Higher recursion theory by
Gerald E Sacks(
Book
)
21 editions published between 1989 and 2017 in 3 languages and held by 396 WorldCat member libraries worldwide
This almost selfcontained introduction to higher recursion theory is essential reading for all researchers in the field
21 editions published between 1989 and 2017 in 3 languages and held by 396 WorldCat member libraries worldwide
This almost selfcontained introduction to higher recursion theory is essential reading for all researchers in the field
Degrees of unsolvability by
Gerald E Sacks(
)
9 editions published between 1963 and 1993 in English and held by 314 WorldCat member libraries worldwide
9 editions published between 1963 and 1993 in English and held by 314 WorldCat member libraries worldwide
Selected logic papers by
Gerald E Sacks(
Book
)
2 editions published in 1999 in English and held by 122 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
2 editions published in 1999 in English and held by 122 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
Higher recursion theory by
Gerald E Sacks(
)
7 editions published in 2016 in English and held by 93 WorldCat member libraries worldwide
This almost selfcontained introduction to higher recursion theory is essential reading for all researchers in the field
7 editions published in 2016 in English and held by 93 WorldCat member libraries worldwide
This almost selfcontained introduction to higher recursion theory is essential reading for all researchers in the field
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 1925, 1989(
)
1 edition published in 1990 in English and held by 42 WorldCat member libraries worldwide
1 edition published in 1990 in English and held by 42 WorldCat member libraries worldwide
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 1521, 1984(
)
1 edition published in 1985 in English and held by 42 WorldCat member libraries worldwide
1 edition published in 1985 in English and held by 42 WorldCat member libraries 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(
)
7 editions published between 1990 and 2006 in English and held by 34 WorldCat member libraries 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
7 editions published between 1990 and 2006 in English and held by 34 WorldCat member libraries 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
Degrees of Unsolvability. (AM55) by
Gerald E Sacks(
)
1 edition published in 2016 in English and held by 27 WorldCat member libraries worldwide
The book description for the forthcoming "Degrees of Unsolvability. (AM55)" is not yet available
1 edition published in 2016 in English and held by 27 WorldCat member libraries worldwide
The book description for the forthcoming "Degrees of Unsolvability. (AM55)" is not yet available
Selected logic papers by
Gerald E Sacks(
Book
)
7 editions published in 1999 in English and held by 24 WorldCat member libraries worldwide
7 editions published in 1999 in English and held by 24 WorldCat member libraries worldwide
Degrees of Unsolvability. (AM55) by
Gerald E Sacks(
)
3 editions published between 1964 and 1966 in English and held by 15 WorldCat member libraries worldwide
3 editions published between 1964 and 1966 in English and held by 15 WorldCat member libraries worldwide
Selected logic papers by
Gerald E Sacks(
)
1 edition published in 1999 in English and held by 5 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
1 edition published in 1999 in English and held by 5 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
Generalized recursion theory. Proceedings of the 2. Symposium on Generalized Recursion Theory, was held at the Univ. of Oslo,
June 1317, 1977(
)
1 edition published in 1978 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 1978 in English and held by 4 WorldCat member libraries worldwide
Model theory and applications by
Centro internazionale matematico estivo(
Book
)
1 edition published in 1975 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 1975 in English and held by 4 WorldCat member libraries worldwide
Saturated model theory by
Gerald E Sacks(
Book
)
1 edition published in 2010 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 2010 in English and held by 4 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
 Müller, Gert
 Nerode, Anil Publisher Editor
 Platek, Richard A. Editor
 Homer, Steven Author Editor
 Scedrov, Andre Editor
Useful Links
Covers
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, G. E. (Gerald E.), 19332019
Sacks Gerald
Sacks, Gerald, 19332019
Sacks Gerald Enoch
Sacks, Gerald Enoch 1933
Sacks, Gerald Enoch, 19332019
Saks, Dž. E.
Saks, Dž. E. 1933
Сакс Дж.
Сакс Дж.Е.
ג'רלד סאקס
Languages