1943 search results - page 65 / 389 » Ordering Default Theories |
JSYML
2002
14 years 11 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
129
click to vote
ESANN
2004
15 years 1 months ago
2004
In this tutorial paper about neural maps we review the current state in theoretical aspects like mathematical treatment of convergence, ordering and topography, magnification and o...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
We present a quasi-analytic perturbation expansion for multivariate N dimensional Gaussian integrals. The perturbation expansion is an infinite series of lower-dimensional integra...
BSL
2006
14 years 12 months ago
2006
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard ari...
ITA
2008
14 years 11 months ago
2008
We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable. 1...