Chapter

Set Theory, Model Theory, and Computability Theory

Wilfrid Hodges

in The Development of Modern Logic

Published in print June 2009 | ISBN: 9780195137316
Published online September 2009 | e-ISBN: 9780199867912 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780195137316.003.0032
 Set Theory, Model Theory, and Computability Theory

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

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.

Keywords: mathematics; set theory; model theory; computability theory; logic

Chapter.  13660 words. 

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.