Let T be a 1-sorted structure. The functor TotFamT yielding a family of subsets of T is defined by: (Def. 1) TotFamT = 2 carrier of T . The following proposition is true (1) For every set T and for every family F of subsets of T holds F is countable iff F c is countable. Let us note that Q is countable. The scheme FraenCoun11 concerns a unary predicate P, and states that: {{n};n ranges over ele...

In this paper, we show that a regular space with a locally countable weak-base is g-metrizable. Secondly, we establish the relationships between spaces with a locally countable weak-base (resp. spaces with a locally countable weak-base consisting of א0-subspaces) and metric spaces (resp. locally separable metric spaces) by means of compact-covering maps, 1-sequence-covering maps, compact maps, ...

A topological space has calibre ω1 (resp., calibre (ω1,ω)) if every point-countable (resp., point-finite) collection of nonempty open sets is countable. It has compact-calibre ω1 (resp., compact-calibre (ω1,ω)) if, for every family of uncountably many nonempty open sets, there is some compact set which meets uncountably many (resp., infinitely many) of them. It has CCC (resp., DCCC) if every di...

Consider a measure-preserving action Γ y (X,μ) of a countable group Γ and a measurable cocycle α : X × Γ → Aut(Y ) with countable image, where (X,μ) is a standard Lebesgue space and (Y, ν) is any probability space. We prove that if the Koopman representation associated to the action Γ y X is non-amenable, then there does not exist a countable-to-one Borel homomorphism from the orbit equivalence...