Elementary Induction on Abstract Structures
Graduate studies at Western
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)|
|Buy the book||$6.49 new (57% off) $6.50 used (57% off) $11.66 direct from Amazon (23% off) Amazon page|
|Call number||QA9.615.M67 2008|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
R. L. Goodstein (1961/2010). Recursive Analysis. Dover Publications.
Alessandro Berarducci & Margarita Otero (1996). A Recursive Nonstandard Model of Normal Open Induction. Journal of Symbolic Logic 61 (4):1228-1241.
David S. Gunderson (2010). Handbook of Mathematical Induction: Theory and Applications. Chapman & Hall/Crc.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
Volker Halbach (2002). Review: Lev D. Beklemishev, Induction Rules, Reflection Principles, and Provably Recursive Functions. [REVIEW] Bulletin of Symbolic Logic 8 (2):302-303.
Eric Gerhardt Wagner (1963). Uniformly Reflexive Structures: Towards an Abstract Theory of Computability. S.N.].
John T. Baldwin (2004). Notes on Quasiminimality and Excellence. Bulletin of Symbolic Logic 10 (3):334-366.
Philip N. Johnson-Laird (1994). A Model Theory of Induction. International Studies in the Philosophy of Science 8 (1):5 – 29.
Zlatan Damnjanovic (1997). Elementary Realizability. Journal of Philosophical Logic 26 (3):311-339.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?