Cambridge Summer School in Mathematical Logic

& (eds.)
New York,: Springer Verlag (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.A1.L28 no. 337

ISBN(s)

038705569X

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

External links

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

Through your library

My notes

Chapters

Lectures on intuitionism.  (pages 1–94)Dirk van Dalen
Realizability: a retrospective survey.  (pages 95--112)S. C. Kleene
Some applications of Kleene's methods for intuitionistic systems.  (pages 113--170)Harvey Friedman
Some properties of intuitionistic Zermelo-Frankel set theory.  (pages 206--231)John Myhill
Ouelques Resultats sur les Interpretations Fonctionnelles.  (pages 232--252)J. Y. Girard
Combinator realizability of constructive finite type analysis.  (pages 253--273)John Staples
The arithmetic theory of constructions.  (pages 274--298)Nicolas D. Goodman
The priority method for the construction of recursively enumerable sets.  (pages 299--310)Alistair H. Lachlan
Admissible ordinals and priority arguments.  (pages 311--344)Manuel Lerman
Infinitary combinatorics.  (pages 361--418)E. M. Kleinberg
""Effective implications between the" finite" choice axioms.  (pages 439--458)John H. Conway
On descendingly complete ultrafilters.  (pages 459--488)Karel Prikry
XVI. A model for the negation of the axiom of choice.  (pages 489--494)Kenneth Kunen
Filters closed under Mahlo's and Gaifman's operation.  (pages 495--530)K. Gloede
On chromatic number of graphs and set systems.  (pages 531--538)P. Erdös, A. Hajnal & B. Rothchild
Countable models of set theories.  (pages 539--573)Harvey Friedman
Descriptive set theory in L {\ omega l\ omega}.  (pages 574--598)Robert Vaught
Modal model theory.  (pages 599--617)C. C. Chang
A preservation theorem for interpretations.  (pages 618--621)K. Jon Barwise
Vaught sentences and Lindström's regular relations.  (pages 622--660)M. Makkai

Similar books and articles

Cambridge Summer School in Mathematical Logic Held in Cambridge/England, August 1-21, 1971.Adrian Richard David Mathias & Hartley Rogers (eds.) - 1973 - New York, NY, USA: Springer.
Robert Vaught. Descriptive set theory in Lω,1ω, Cambridge summer school in mathematical logic, held in Cambridge/England, August 1–21, 1971, edited by A.R.D. Mathias and H. Rogers, Lecture notes in mathematics, vol. 337, Springer-Verlag, Berlin, Heidelberg, and New York, 1973, pp. 574–598. - Robert Vaught. Invariant sets in topology and logic. Fundamenta mathematicae, vol. 82 no. 3, pp. 269–294. [REVIEW]Robert Vaught, A. R. D. Mathias & H. Rogers - 1982 - Journal of Symbolic Logic 47 (1):217-218.
Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - New York: Springer Verlag.
ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.Gert Heinz Müller, Arnold Oberschelp & Karl Potthoff (eds.) - 1975 - New York: Springer Verlag.
Mathematical Logic. Proceedings of the Heyting '88 Summer School.Petio Petrov Petkov (ed.) - 1990 - Springer.
Rogers Hartley Jr., Recursive functions over well-ordered partial orderings. Proceedings of the American Mathematical Society, vol. 10 , pp. 847–853.J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):83-84.
Logic Colloquium '69 Proceedings of the Summer School and [Fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969.Robin Oliver Gandy & Charles Michael Edmund Yates (eds.) - 1971 - Amsterdam, Netherlands: North-Holland.
Rogers Hartley Jr., Computing degrees of unsolvability. Mathematische Annalen, vol. 138 . pp. 125–140.Rogers Hartley Jr., Computing degrees of unsolvability. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 277–283. [REVIEW]Steven Orey - 1960 - Journal of Symbolic Logic 25 (4):363-364.
Proceedings of the Summer School in Logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.M. H. Löb - 1968 - Springer Verlag.
Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.John N. Crossley & Logic Colloquium - 1967 - North-Holland.

Analytics

Added to PP
2009-01-28

Downloads
31 (#1,575,936)

6 months
9 (#1,255,287)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Some transfinite natural sums.Paolo Lipparini - 2018 - Mathematical Logic Quarterly 64 (6):514-528.
Mathias and set theory.Akihiro Kanamori - 2016 - Mathematical Logic Quarterly 62 (3):278-294.
Bilateral Base-extension Semantics.Victor Barroso-Nascimento & Maria Osório Costa - forthcoming - Journal of Philosophical Logic:1-40.
CZF does not have the existence property.Andrew W. Swan - 2014 - Annals of Pure and Applied Logic 165 (5):1115-1147.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references