Translation of nonstandard definitions to standard ones
We introduce two new classes of compacta, called trees of manifolds with boundary and boundary trees of manifolds with boundary. We establish their basic properties.
The equations of left and right distributivity of composition of distribution functions over triangle functions are solved in a restricted domain.
The probability measure functor P carries open continuous mappings of compact metric spaces into Q-bundles provided Y is countable-dimensional and all fibers are infinite. This answers a question raised by V. Fedorchuk.
We discuss various results on the existence of ‘true’ preimages under continuous open maps between -spaces, -lattices and some other spaces. The aim of the paper is to provide accessible proofs of this sort of results for functional-analysts.
We consider a real analytic dynamical system G×M→M with nonempty fixed point subset M G. Using symmetries of G×M→M, we give some conditions which imply the existence of transitive Lie transformation group with G as isotropy subgroup.
In this paper a characterization of the topologies on a l-group arising from a CTRO (T-topologies) is given. We use it to find conditions under which the Redfield topology comes from a CTRO.
We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be chosen in a hyperarithmetical way and using this we obtain some uniformity results.