Local recursive theory.

Recursive Ramsey Theory

The illustration on the cover is a stylized portrait of Frank Ramsey.

On Recursive Parametric Estimation Theory

The classical non-recursive methods to estimate unknown parameters of the model, such as the maximum likelihood method, the method of least squares etc. eventually require maximization procedures. These methods are often difficult to implement, especially for non i.i.d. models. If for every sample size n, when new data are acquired, an estimator has to be computed afresh, and if a numerical met...

Recursive Utility : Discrete Time Theory ∗

Theory of Provable Recursive Functions

On local non-compactness in recursive mathematics

A metric space is said to be locally non-compact if every neighborhood contains a sequence that is bounded away from every element of the space, hence contains no accumulation point. We show within recursive mathematics that a nonvoid complete metric space is locally non-compact iff it is without isolated points. The result has an interesting consequence in computable analysis: If a complete me...