We first consider the class $\mathfrak K$ of graphs on a zero-dimensional metrizable compact space with continuous chromatic number at least three. provide concrete basis size continuum for made up countable graphs, comparing them

sn-networks were first introduced by Lin [12], which are the concept between weak bases and cs-networks. sn-metrizable spaces [6] (i.e., spaces with σ-locally finite sn-networks) are one class of generalized metric spaces, and they play an important role in metrization theory, see [6, 13]. In this paper, we give a mapping theorem on sn-metrizable spaces, discuss relationships among spaces with ...

In this paper, we discuss the relationships between spaces with locally countable weak-bases and spaces with various locally countable networks, establish the relationships between spaces with locally countable weak-bases and locally separable metric spaces, and show that spaces have locally countable weak-bases if and only if they are locally Lindelöf, g-metrizable spaces. These are improvemen...

In this paper new concepts countable join property, countable meet property, P–lattice and Pδ –lattice are introduced. We established that P–lattice and Pδ –lattice are measureable partial lattices and characterized partial lattices of a lattice through countable join and meet properties. We also established some interesting result on the injective property of the lattice measurable functio...

This development defines a well-ordered type of countable ordinals. It includes notions of continuous and normal functions, recursively defined functions over ordinals, least fixed-points, and derivatives. Much of ordinal arithmetic is formalized, including exponentials and logarithms. The development concludes with formalizations of Cantor Normal Form and Veblen hierarchies over normal functions.

The purpose of this paper is to contribute the theory profinite semigroups by considering special class consisting those all whose finitely generated closed subsemigroups are countable, which said be locally countable. We also call countable a pseudovariety V (of finite semigroups) for pro-V investigate operations preserving local countability pseudovarieties and show that, in contrast with fin...