A combinatorial characterization of measurable filters on a countable set is found. We apply it to the problem of measurability of the intersection of nonmeasurable filters. The goal of this paper is to characterize measurable filters on the set of natural numbers. In section 1 we introduce basic notions, in section 2 we find a combinatorial characterization of measurable filters, in section 3 ...

© Annales de l’institut Fourier, 1963, tous droits réservés. L’accès aux archives de la revue « Annales de l’institut Fourier » (http://annalif.ujf-grenoble.fr/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier...

We show that in contrast with the Cohen version of Solovay’s model, it is consistent for the continuum to be Cohen-measurable and for every function to be continuous on a non-meagre set.

We study Borel measurability of the spectrum in topological algebras. We give some equivalences of the various properties, show that the spectrum in a Banach algebra is continuous on a dense Gs, and prove that in a Polish algebra the set of invertible elements is an FaS and the inverse mapping is a Borel function of the second class. This article has its origin in the papers [7] and [5]. We stu...

Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factores out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for...