The Notre Dame Lectures, edited by Peter Cholak, Lecture Notes in Logic, vol. 18. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2005, vii + 185 pp [Book Review]

Bulletin of Symbolic Logic 12 (4):605-607 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600002481

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Notre Dame Lectures.Peter Cholak - 2006 - Bulletin of Symbolic Logic 12 (4):605-607.
REVIEWS-The Notre Dame Lectures.P. Kossak Cholak - 2006 - Bulletin of Symbolic Logic 12 (4):605-607.
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. [REVIEW]Alasdair Urquhart - 2004 - Bulletin of Symbolic Logic 10 (1):110-112.
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
The Notre Dame Lectures. [REVIEW]Roman Kossak - 2006 - Bulletin of Symbolic Logic 12 (4):605-607.
Menger Karl. Algebra of analysis. Notre Dame mathematical lectures, no. 3. Lithoprinted. University of Notre Dame, Notre Dame, Ind., 1944, 50 pp. [REVIEW]Alonzo Church - 1945 - Journal of Symbolic Logic 10 (3):103-103.
Curry Haskell B.. A theory of formal deducibility. Second edition of XVI 56. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1957, xi + 129 pp. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):113-113.
Curry Haskell B.. A theory of formal deducibility. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1950, ix + 126 Seiten. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):56-58.
1998–1999 Winter Meeting of the Association for Symbolic Logic.Peter Cholak - 1999 - Bulletin of Symbolic Logic 5 (2):273-283.
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. [REVIEW]Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (4):492-496.
Introduction to the Special Issue on Vaught's Conjecture.Peter Cholak - 2007 - Notre Dame Journal of Formal Logic 48 (1):1-2.
Annual meeting of the association for symbolic logic: Notre dame, 1993.Steven Buechler - 1994 - Journal of Symbolic Logic 59 (2):696-719.
S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 , no. 6, pp. 392–409. - S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 , no. 3, pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 , no. 1, pp. 28–37. - J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 , no. 2, pp. 387–391. - Terrence Millar. Recursive categoricity and persistence. The Journal of Symbolic Logic, vol. 51 , no. 2, pp. 430–434. - Peter Cholak, Segey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. Computably categorical structures and expansions by constants. The Journal of Symbolic Logic, vol. 64 , no. 1, pp. 13–137. - Peter Cholak, Richard A. Shore and Reed Solomon. A computably stable structure with no Scott family of finitary formulas. Archive for Mathematical Logic, vol. 45 , no. 5, pp. 519–538. [REVIEW]Daniel Turetsky - 2012 - Bulletin of Symbolic Logic 18 (1):131-134.
Meeting of the association for symbolic logic: Notre dame, indiana, 1984.John Baldwin, Matt Kaufmann & Julia F. Knight - 1985 - Journal of Symbolic Logic 50 (1):284-286.
Gödel’s notre dame course.Miloš Adžić & Kosta Došen - 2016 - Bulletin of Symbolic Logic 22 (4):469-481.

Analytics

Added to PP
2014-03-18

Downloads
21 (#676,185)

6 months
2 (#1,015,942)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Roman Kossak
City University of New York

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references