Prevalence of some known typical properties.
The classical propositional language is evaluated in such a way that truthvalues are subsets of the set of all positive integers. Such an evaluation is projected in two different ways into the unit interval of real numbers so that two real-valued evaluations are obtained. The set of tautologies is proved to be identical, in all the three cases, with the set of classical propositional tautologies, but the induced evaluations meet some natural properties of probability measures with respect to nonstandard...
La marche aléatoire (ou marche au hasard) est un objet fondamental de la théorie des probabilités. Un des problèmes les plus intéressants pour la marche aléatoire (ainsi que pour le mouvement brownien, son analogue dans un contexte continu) est de savoir comment elle recouvre des ensembles où se trouvent les points qui sont souvent (ou au contraire, rarement) visités, et combien il y a de tels points. Les travaux de Dembo, Peres, Rosen et Zeitouni permettent de résoudre plusieurs conjectures importantes...
Un théorème classique exprime qu’à partir d’un semi-groupe d’opérateurs sur l’espace des fonctions continues tendant vers 0 à l’infini, , , , continue, , on peut construire un processus markovien “standard”, à trajectoires réglées et continues à droite, quasi-continu à gauche ; l’espace des états est supposé localement compact à base dénombrable d’ouverts. Nous supposons ici que l’espace des états est seulement universellement mesurable dans un souslinien complètement régulier ; le processus...