John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (A. S. Kechris, B. Löwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257–343.

Ernest Schimmerling

doi:10.1017/bsl.2016.30

John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (A. S. Kechris, B. Löwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257–343.

Bulletin of Symbolic Logic ◽

10.1017/bsl.2016.30 ◽

2016 ◽

Vol 22 (4) ◽

pp. 521-524

Author(s):

Ernest Schimmerling

Keyword(s):

Recursion Theory ◽

Core Model ◽

Symbolic Logic ◽

Cambridge University ◽

Lecture Notes

Download Full-text

Games, scales, and Suslin cardinals. The Cabal Seminar, Volume I, edited by A. S. Kechris, B. Löwe, and J. R. Steel, Lecture Notes in Logic, vol. 31. Association for Symbolic Logic and Cambridge University Press, Cambridge, 2008, xi + 445 pp.

Bulletin of Symbolic Logic ◽

10.2178/bsl/1327328441 ◽

2012 ◽

Vol 18 (1) ◽

pp. 122-126

Author(s):

Alessandro Andretta

Keyword(s):

Symbolic Logic ◽

Cambridge University ◽

Lecture Notes

Download Full-text

Wadge degrees and projective ordinals. The Cabal Seminar, Volume II, edited by A. S. Kechris, B. Löwe, and J.R. Steel, Lecture Notes in Logic, vol. 37. Association for Symbolic Logic and Cambridge University Press, Cambridge, 2012, xxii + 526 pp.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600010593 ◽

2013 ◽

Vol 19 (4) ◽

pp. 492-496

Author(s):

Grigor Sargsyan

Keyword(s):

Symbolic Logic ◽

Cambridge University ◽

Lecture Notes

Download Full-text

George Barmpalias, Andrew E. M. Lewis and Keng Meng NG. The importance of Π01 classes in effective randomness. The Journal of Symbolic Logic, vol. 75 (2010), pp. 387–400. - George Barmpalias, Andrew E. M. Lewis and Frank Stephan. Π01 classes, LR degrees and Turing degrees. Annals of Pure and Applied Logic, vol. 156 (2008), pp. 21–38. - Antonin Kučera. Measure, Π01 classes and complete extensions of PA. Recursion Theory Week (Oberwofach, 1984). Lecture Notes in Mathematics, vol. 1141. Springer, Berlin, 1985, pp. 245–259. - Frank Stephan. Martin-Löf randomness and PA complete sets. Logic Colloquium '02. Lecture Notes in Logic, vol. 27, Association for Symbolic Logic, La Jolla, CA, 2006, pp. 342–348.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600000081 ◽

2012 ◽

Vol 18 (3) ◽

pp. 409-412

Author(s):

Douglas Cenzer

Keyword(s):

Recursion Theory ◽

Turing Degrees ◽

Symbolic Logic ◽

Applied Logic ◽

Lecture Notes ◽

Complete Sets ◽

La Jolla ◽

Π01 Classes

Download Full-text

Nonstandard methods and applications in mathematics, edited by Nigel J. Cutland, Mauro di Nasso and David A. Ross, Lecture Notes in Logic, vol. 25. Association for Symbolic Logic, A.K. Peters, Ltd. Wellesley, Massachusetts, 2006. x + 248 pp.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600002146 ◽

2007 ◽

Vol 13 (3) ◽

pp. 372-374

Author(s):

Alasdair Urquhart

Keyword(s):

Symbolic Logic ◽

Lecture Notes

Download Full-text

Barwise Jon and Moss Lawrence. Vicious circles. On the mathematics of non-wellfounded phenomena. CSLI lecture notes, no. 60. CSLI Publications, Stanford1996, also distributed by Cambridge University Press, New York, x + 390 pp.

Journal of Symbolic Logic ◽

10.2307/2275587 ◽

1997 ◽

Vol 62 (3) ◽

pp. 1039-1040 ◽

Cited By ~ 2

Author(s):

M. Boffa

Keyword(s):

New York ◽

Cambridge University ◽

Lecture Notes

Download Full-text

K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, United Kingdom, 2012, x + 248 pp.

Bulletin of Symbolic Logic ◽

10.1017/bsl.2015.26 ◽

2015 ◽

Vol 21 (3) ◽

pp. 342-343

Author(s):

Bradd Hart

Keyword(s):

United Kingdom ◽

Model Theory ◽

Cambridge University ◽

Lecture Notes

Download Full-text

John R. Steel. The core model iterability problem. Lecture notes in logic, no. 8. Springer, Berlin, Heidelberg, New York, etc., 1996, iii + 112 pp.

Journal of Symbolic Logic ◽

10.2307/2586604 ◽

1998 ◽

Vol 63 (1) ◽

pp. 326-328

Author(s):

Ernest Schimmerling

Keyword(s):

New York ◽

Core Model ◽

The Core ◽

Lecture Notes

Download Full-text

Jaap van der Does and Jan van Eijk, editors. Quantifiers, Logic, and Language. CSLI (Center for the Study of Language and Information) Lecture Notes, No. 54. Stanford, California: CSLI Publications (distributed by Cambridge University Press). 1996. ISBN 1-57586-001-5 (hardback), 1-57586-000-7 (paperback). Price $69.95 (hardback), $24.95 (paperback). vii+424 pages.

Natural Language Engineering ◽

10.1017/s1351324998231925 ◽

1998 ◽

Vol 4 (4) ◽

pp. 363-382

Author(s):

VAROL AKMAN

Keyword(s):

Cambridge University ◽

Lecture Notes

Download Full-text

Enrique Casanovas. Simple theories and hyperimaginaries. Lecture Notes in Logic, vol. 39. ASL and Cambridge University Press, Cambridge, 2011, 184 pp.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600000056 ◽

2012 ◽

Vol 18 (3) ◽

pp. 405-406

Author(s):

Bradd Hart

Keyword(s):

Cambridge University ◽

Simple Theories ◽

Lecture Notes

Download Full-text

Sergio Fajardo and H. Jerome Keisler . Model theory of stochastic processes, Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600004194 ◽

2004 ◽

Vol 10 (1) ◽

pp. 110-112

Author(s):

Alasdair Urquhart

Keyword(s):

Stochastic Processes ◽

Model Theory ◽

Symbolic Logic ◽

Lecture Notes

Download Full-text