in this paper the concept of an $omega$- almost boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $omega$- almost boolean ring over a locally boolean space.

Let K be a locally compact hypergroup. In this paper we initiate the concept of fundamental domain in locally compact hypergroups and then we introduce the Borel section mapping. In fact, a fundamental domain is a subset of a hypergroup K including a unique element from each cosets, and the Borel section mapping is a function which corresponds to any coset, the related unique element in the fun...

let g = (v,e) be a locally finite graph, i.e. a graph in which every vertex has finitely many adjacent vertices. in this paper, we associate a topology to g, called graphic topology of g and we show that it is an alexandroff topology, i.e. a topology in which intersec- tion of every family of open sets is open. then we investigate some properties of this topology. our motivation is to give an e...

the notion of generalized locally bounded $i$-topological vectorspaces is introduced. some of their important properties arestudied. the relationship between this kind of spaces and thelocally bounded $i$-topological vector spaces introduced by wu andfang [boundedness and locally bounded fuzzy topological vectorspaces, fuzzy math. 5 (4) (1985) 87$-$94] is discussed. moreover, wealso use the fam...

We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This involves the synthesis of asynchronous wrappers that drive the synchronous clocks of the modules and perform input reading in such a fashion as to preserve, in a certain sense, the global properties of the system. Our app...

We show that any q-query locally decodable code (LDC) gives a copy of l 1 with small distortion in the Banach space of q-linear forms on lNp1 ×· · ·× lNpq , provided 1/p1+ · · ·+1/pq ≤ 1 and where k, N , and the distortion are simple functions of the code parameters. We exhibit the copy of l 1 by constructing a basis for it directly from “smooth” LDC decoders. Based on this, we give alternative...

We suggest a new approach to obtain bounds on locally correctable and some locally testable binary linear codes, by arguing that these codes (or their subcodes) have coset leader graphs with high discrete Ricci curvature. The bounds we obtain for locally correctable codes are worse than the best known bounds obtained using quantum information theory, but are better than those obtained using oth...

The notion of generalized locally bounded $I$-topological vectorspaces is introduced. Some of their important properties arestudied. The relationship between this kind of spaces and thelocally bounded $I$-topological vector spaces introduced by Wu andFang [Boundedness and locally bounded fuzzy topological vectorspaces, Fuzzy Math. 5 (4) (1985) 87$-$94] is discussed. Moreover, wealso use the fam...