Amsterdam, Netherlands: Dover Publications (1974)
| Abstract |
Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. 1974 edition
|
| Keywords | Recursive functions Induction (Mathematics |
| Categories | (categorize this paper) |
| Reprint years | 2008 |
| Buy this book |
Find it on Amazon.com
|
| Call number | QA9.615.M67 2008 |
| ISBN(s) | 9780486466781 1306937841 0720422809 0486466787 x |
| DOI | 10.2307/2273715 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,039
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.
A Contextual–Hierarchical Approach to Truth and the Liar Paradox.Michael Glanzberg - 2004 - Journal of Philosophical Logic 33 (1):27-88.
View all 73 citations / Add more citations
Similar books and articles
A Recursive Nonstandard Model of Normal Open Induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
Handbook of Mathematical Induction: Theory and Applications.David S. Gunderson - 2010 - Chapman & Hall/Crc.
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Uniformly Reflexive Structures: Towards an Abstract Theory of Computability.Eric Gerhardt Wagner - 1963 - [S.N.].
Notes on Quasiminimality and Excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.
A Model Theory of Induction.Philip N. Johnson‐Laird - 1994 - International Studies in the Philosophy of Science 8 (1):5 – 29.
Analytics
Added to PP index
2009-01-28
Total views
22 ( #512,827 of 2,505,624 )
Recent downloads (6 months)
3 ( #209,579 of 2,505,624 )
2009-01-28
Total views
22 ( #512,827 of 2,505,624 )
Recent downloads (6 months)
3 ( #209,579 of 2,505,624 )
How can I increase my downloads?
Downloads
