Gerald E. Sacks

Publication Activity (10 Years)

Years Active: 1965-2016
Publications (10 Years): 1

Publications

Gerald E. Sacks
On the non-Enumerability of l. J. Symb. Log. 81 (4) (2016)
Jessica Millar, Gerald E. Sacks
Atomic models higher up. Ann. Pure Appl. Log. 155 (3) (2008)
Gerald E. Sacks
Bounds on Weak Scattering. Notre Dame J. Formal Log. 48 (1) (2007)
Gerald E. Sacks
Effective Forcing versus Proper Forcing. Ann. Pure Appl. Log. 81 (1-3) (1996)
Anil Nerode, Gerald E. Sacks
Preface - Special Volume Dedicated to the late Stephen Cole Kleene. Ann. Pure Appl. Log. 81 (1-3) (1996)
Gerald E. Sacks
The limits of E-recursive enumerability. Ann. Pure Appl. Log. 31 (1986)
Paul Benacerraf, Simon Kochen, Gerald E. Sacks
Meeting of the Association for Symbolic Logic: New York, 1975. J. Symb. Log. 42 (1) (1977)
James C. Owings, Hilary Putnam, Gerald E. Sacks
Meeting of the Association for Symbolic Logic Washington, D.C., 1975. J. Symb. Log. 41 (1) (1976)
Georg Kreisel, Gerald E. Sacks
Metarecursive Sets. J. Symb. Log. 30 (3) (1965)