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

Links

PhilArchive



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

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

A preservation theorem for interpretations.K. Jon Barwise
Modal model theory.C. C. Chang
""Effective implications between the" finite" choice axioms.John H. Conway
On chromatic number of graphs and set systems.P. Erdös, A. Hajnal & B. Rothchild
Countable models of set theories.Harvey Friedman
Some applications of Kleene's methods for intuitionistic systems.Harvey Friedman
Ouelques Resultats sur les Interpretations Fonctionnelles.J. Y. Girard
Filters closed under Mahlo's and Gaifman's operation.K. Gloede
The arithmetic theory of constructions.Nicolas D. Goodman
Infinitary combinatorics.E. M. Kleinberg
Realizability: a retrospective survey.S. C. Kleene
XVI. A model for the negation of the axiom of choice.Kenneth Kunen
The priority method for the construction of recursively enumerable sets.Alistair H. Lachlan
Admissible ordinals and priority arguments.Manuel Lerman
Vaught sentences and Lindström's regular relations.M. Makkai
Some properties of intuitionistic Zermelo-Frankel set theory.John Myhill
On descendingly complete ultrafilters.Karel Prikry
Combinator realizability of constructive finite type analysis.John Staples
Descriptive set theory in L {\ omega l\ omega}.Robert Vaught

Similar books and articles

Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
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 in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
Conference in Mathematical Logic, London '70.Wilfrid Hodges (ed.) - 1972 - New York,: Springer Verlag.
Mathematical logic and foundations of set theory.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam,: North-Holland Pub. Co..
Logic, sets and information: proceedings of the tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Campinas, SP, Brazil: Centro de Lógica, Epistemologia e História da Ciência, UNICAMP.
Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997.S. B. Cooper & J. K. Truss (eds.) - 1999 - New York: Cambridge University Press.
Logic, methodology and philosophy of science.Patrick Suppes (ed.) - 1973 - New York,: American Elsevier Pub. Co..
Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979.Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) - 1979 - Aalborg: distruberet af Aalborg Universitetsforlag.
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.

Analytics

Added to PP
2009-01-28

Downloads
6 (#1,425,536)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references