WorldCat Identities

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
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. (AM-55)" is not yet available
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 by Heinz-Dieter Ebbinghaus( Book )

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 19-25, 1989 by K Ambos-Spies( 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
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; 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."--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
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 self-contained 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

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 E-recursion. 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 self-contained 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 19-25, 1989( )

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 15-21, 1984( )

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 20-28, 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
Degrees of Unsolvability. (AM-55) 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. (AM-55)" 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

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

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 E-recursion. His general introduction provides a chronology both personal and technical
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

Saturated model theory by Gerald E Sacks( Book )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.45 (from 0.03 for Saturated ... to 0.91 for Model theo ...)

Mathematical logic in the 20th century
Covers
Degrees of unsolvabilityRecursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989Saturated model theoryHigher recursion theorySelected logic papersRecursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989Recursion 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, G. E. (Gerald E.), 1933-2019

Sacks Gerald

Sacks, Gerald, 1933-2019

Sacks Gerald Enoch

Sacks, Gerald Enoch 1933-

Sacks, Gerald Enoch, 1933-2019

Saks, Dž. E.

Saks, Dž. E. 1933-

Сакс Дж.

Сакс Дж.Е.

ג'רלד סאקס

Languages