A kind of new fuzzy compactness, called near SR-compactness, is de4ned for an arbitrary L-subset and for L a complete DeMorgan algebra. This kind of fuzzy compactness is between Lowen’s strong fuzzy compactness and the second author’s SR-compactness. Characterizations and examples of near SR-compact L-subsets are given, and its topological properties are systematically investigated. c © 2003 El...

in this paper, the concept of countably near ps-compactness inl-topological spaces is introduced, where l is a completely distributive latticewith an order-reversing involution. countably near ps-compactness is definedfor arbitrary l-subsets and some of its fundamental properties are studied.

we obtain a sucint and nesessery theoreoms simple for compactness andweakly compactness of the best approximate sets by closed unit balls. also weconsider relations kadec-klee property and shur property with this objects.these theorems are extend of papers mohebi and narayana.

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...

We present a countable complete first order theory T which is model theoretically very well behaved: it eliminates quantifiers, is ω-stable, it has NDOP and is shallow of depth two. On the other hand, there is no countable bound on the Scott heights of its countable models, which implies that the isomorphism relation for countable models is not Borel.

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.