A graph G on a topological space X as its set of vertices is clopen if the edge relation of G is a clopen subset of X2 without the diagonal. We study clopen graphs on Polish spaces in terms of their finite induced subgraphs and obtain information about their cochromatic numbers. In this context we investigate modular profinite graphs, a class of graphs obtained from finite graphs by taking inve...

We show that the profinite completions and canonical extensions of bounded distributive lattices and of Boolean algebras coincide. We characterize dual spaces of canonical extensions of bounded distributive lattices and of Heyting algebras in terms of Nachbin order-compactifications. We give the dual description of the profinite completion ̂ H of a Heyting algebra H, and characterize the dual sp...

Let a topological space. An intersection graph on a topological space , which denoted by ‎ , is an undirected graph which whose vertices are open subsets of and two vertices are adjacent if the intersection of them are nonempty. In this paper, the relation between topological properties of  and graph properties of ‎  are investigated. Also some classifications and representations for the graph ...

in this work, we introduce notion of connectedness on fuzzy soft topological spaces and present fundamentals properties. we also investigate effect to fuzzy soft connectedness. moreover, c_i-connectedness which plays an important role in fuzzy topological space extend to fuzzy soft topological spaces.

in this paper we introduce the concept of topological number for locally convex topological spaces and prove some of its properties. it gives some criterions to study locally convex topological spaces in a discrete approach.

We construct and study the moduli of continuous representations of a profinite group with integral p-adic coefficients. We present this moduli space over the moduli space of continuous pseudorepresentations and show that this morphism is algebraizable. When this profinite group is the absolute Galois group of a p-adic local field, we show that these moduli spaces admit Zariski-closed loci cutti...

in this paper, the concept of {sl local base with  stratifiedstructure} in $i$-topological vector spaces is introduced. weprove that every $i$-topological vector space has a balanced localbase with stratified structure. furthermore, a newcharacterization of $i$-topological vector spaces by means of thelocal base with stratified structure is given.

I present highlights from a formalized development of domain theory in the theorem prover Coq. This is the first development of domain theory that is effective, formalized and that supports all the usual constructions on domains. In particular, I develop constructive models of both the unpointed profinite and the pointed profinite domains. Standard constructions (e.g., products, sums, the funct...

A topological quasi-variety Q T ∼ ) := IScP + ∼ generated by a finite algebra ∼ with the discrete topology is said to be standard if it admits a canonical axiomatic description. Drawing on the formal language notion of syntactic congruences, we prove that Q T ∼ ) is standard provided that the algebraic quasi-variety generated by ∼ is a variety, and that syntactic congruences in that variety are...

Akbarov’s theory of holomorphic reflexivity for topological Hopf algebras has been developed in two directions, namely, by the complication definitions when expanding scope and their simplification restricting. In framework latter approach, we establish associated with locally finite countable groups second-countable profinite groups. Abelian case, is described terms close to classical ones.