Displaying similar documents to “Near metric properties of function spaces”

Selections that characterize topological completeness

Jan van Mill, Jan Pelant, Roman Pol (1996)

Fundamenta Mathematicae

Similarity:

We show that the assertions of some fundamental selection theorems for lower-semicontinuous maps with completely metrizable range and metrizable domain actually characterize topological completeness of the target space. We also show that certain natural restrictions on the class of the domains change this situation. The results provide in particular answers to questions asked by Engelking, Heath and Michael [3] and Gutev, Nedev, Pelant and Valov [5].

On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic

Teresa Bigorajska, Henryk Kotlarski, James Schmerl (1998)

Fundamenta Mathematicae

Similarity:

We continue the earlier research of [1]. In particular, we work out a class of regular interstices and show that selective types are realized in regular interstices. We also show that, contrary to the situation above definable elements, the stabilizer of an element inside M(0) whose type is selective need not be maximal.

ℳ-rank and meager groups

Ludomir Newelski (1996)

Fundamenta Mathematicae

Similarity:

Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has < 2 ℵ 0 countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe’s conjecture.

Decomposition of group-valued measures on orthoalgebras

Paolo De Lucia, Pedro Morales (1998)

Fundamenta Mathematicae

Similarity:

We present a general decomposition theorem for a positive inner regular finitely additive measure on an orthoalgebra L with values in an ordered topological group G, not necessarily commutative. In the case where L is a Boolean algebra, we establish the uniqueness of such a decomposition. With mild extra hypotheses on G, we extend this Boolean decomposition, preserving the uniqueness, to the case where the measure is order bounded instead of being positive. This last result generalizes...