On parameter free induction schemas
Journal of Symbolic Logic 53 (4):1082-1097 (1988)
Abstract
We present a comprehensive study of the axiom schemas IΣ - n , BΣ - n (induction and collection schemas for parameter free Σ n formulas) and some closely related schemasAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
An emotion-cognition interaction: emotion knowledge and theory of mind impact the development of emotion schemas.Adina Seidenfeld - unknown
McGee on open-ended schemas.Nikolaj Jang Lee Linding Pedersen & Marcus Rossberg - 2007 - In Helen Bohse & Sven Walter (eds.), Selected Contributions to GAP.6: Sixth International Conference of the German Society for Analytical Philosophy, Berlin, 11–14 September 2006. mentis.
On the induction schema for decidable predicates.Lev D. Beklemishev - 2003 - Journal of Symbolic Logic 68 (1):17-34.
Already filtered: Affective immersion and personality differences in accessing present and past.Doris McIlwain - 2006 - Philosophical Psychology 19 (3):381 – 399.
Moral Schemas and Corruption in Ugandan Public Procurement.Joseph Mpeera Ntayi, Pascal Ngoboka & Cornelia Sabiiti Kakooza - 2013 - Journal of Business Ethics 112 (3):417-436.
Analytics
Added to PP
2009-01-28
Downloads
33 (#355,876)
6 months
1 (#448,894)
2009-01-28
Downloads
33 (#355,876)
6 months
1 (#448,894)
Historical graph of downloads
Author's Profile
Citations of this work
Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories.Albert Visser - 2014 - Mathematical Logic Quarterly 60 (1-2):92-117.
Bounded arithmetic for NC, ALogTIME, L and NL.P. Clote & G. Takeuti - 1992 - Annals of Pure and Applied Logic 56 (1-3):73-117.
The Arithmetics of a Theory.Albert Visser - 2015 - Notre Dame Journal of Formal Logic 56 (1):81-119.
A note on parameter free Π1 -induction and restricted exponentiation.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2011 - Mathematical Logic Quarterly 57 (5):444-455.
References found in this work
On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
