In this paper we prove the consistency of a variant of Church's Thesis than can be formulated as a schema in a first order language with a modal operator for intuitive provability. We also conjeture the consistency of a ...

A function is said to be an almosthomeomorphism if it is a bijective almost continuous function (see [25]) with an almost continuous inverse. We characterize such functions in several ways and obtain the relationship between ...

Consideramos el problema de Cauchy para un sistema 2\times2 de tipo Keyfitz-Kranzer simétrico con valor inicial acotado y medible. La existencia de una solución débil entrópica para este sistema es probada mediante el uso ...

Se establecen órdenes de convergencia débil para las soluciones aproximadas obtenidas por el método de regularización de Tikhonov en el caso de problemas lineales "ill-posed" (es decir, aquellos para los cuales las soluciones ...

Let T be the unit circle, and m be the normalized Lebesgue measure on T. If H is a separable Hilbert space, we let L∞T,H) be the space of essentially bounded functions on T with values in H. Continuous functions with values ...

Contiene: Editor, Editores Adjuntos, Comité Editorial; Contenido

1. Demostrar que el producto de tres números  enteros consecutivos es siempre divisible por 6, y que el producto de cuatro números enteros consecutivos es siempre divisible por 24.

It is well known that several types of "variable reals" arising in topos theory (Dedekind reals,  Cauchy reals, smooth reals, etc.) are not real closed,  in the sense that a polynomial (with "variable real" coefficients) ...

One way of formulating De Rham's theorem' smoothly in parameters' is to construct the De Rham cohomology groups, and the (duals of the) singular homology groups as sheaves of smooth modules over the space of parameters, ...