Set theory, model theory, and computability theory

In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 471 (2011)
  Copy   BIBTEX

Abstract

This chapter surveys set theory, model theory, and computability theory: how they first emerged from the foundations of mathematics, and how they have developed since. There are any amounts of mathematical technicalities in the background, but the chapter highlights those themes that have some philosophical resonance.

Categories

Keywords

Reprint years

DOI

10.1093/acprof:oso/9780195137316.003.0032

Links

PhilArchive



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

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

A partial model of NF with E.N. Prati - 1994 - Journal of Symbolic Logic 59 (4):1245 - 1253.
A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Constructible sets with applications.Andrzej Mostowski - 1969 - Warszawa,: PWN--Polish Scientific Publishers.
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Main trends in mathematical logic after the 1930s : Set theory, model theory, and computability theory.Wilfrid Hodges - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.

Analytics

Added to PP
2010-05-19

Downloads
44 (#352,984)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
The Development of Modern Logic.John P. Burgess - 2011 - History and Philosophy of Logic 32 (2):187 - 191.
A New–old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.

Add more citations

References found in this work

No references found.

Add more references