5 search results - page 1 / 1 » The strength of sharply bounded induction |
MLQ
2006
13 years 10 months ago
2006
We prove that the sharply bounded arithmetic T0 2 in a language containing the function symbol x
APAL
2010
13 years 11 months ago
2010
APAL
2011
13 years 6 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
PAKDD
2000
ACM
14 years 2 months ago
2000
ACM
Detection of interactions among data items constitutes an essential part of knowledge discovery. The cascade model is a rule induction methodology using levelwise expansion of a la...
CSL
2007
Springer
14 years 5 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...