Gurarii的凸性模与正规结构

本文研究了Gurarii的凸性模与正规结构的联系.利用关于该模的不等式得出了如果存在ε,1≤ε≤2,使得β(ε)＞ε-1.则空间X具有一致正规结构.     

ON A GENERALIZED MODULUS OF CONVEXITY AND UNIFORM NORMAL STRUCTURE

In this article, the authors study a generalized modulus of convexity, δ(α)(∈).Certain related geometrical properties of this modulus are analyzed. Their main result is that Banach space X has uniform normal structure if there exists ∈, 0 ≤∈≤1, such that δ(α)(1 ∈) ＞ (1 - α)∈.     

Normed lattices with discrete ultrapowers

The paper is devoted to investigations of the order structure of ultrapowers. A characterization of discrete normed lattices, all of whose ultrapowers are discrete, is presented (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Model Approach to Nonstandard Analysis in the Context of Axiomatic Set Theory

In this paper, the model approach to nonstandard analysis is developed on the basis of Zermelo—Fraenkel axiomatic set theory with atoms. The traditional consideration of the standard superstructure V as the primary object of nonstandard analysis is justified. Set-theoretic axioms for the nonstandard system *V are obtained.     

格值模型的初等类及几点注记

本文证明了在有限值格下，一个模型类是初等类当且仅当它对超积和初等等价封闭，同时值格需有强特征式，语言应附有相应的零元关系符号。     

关于BCK代数的模型论性质

This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.     

A simple proof that super-reflexive spaces are -spaces

We demonstrate the title.

     

Hausdorff properties of topological algebras

Let P be a property of topological spaces. Let [P] be the class of all varieties having the property that any topological algebra in has underlying space satisfying property P. We show that if P is preserved by finite products, and if is preserved by ultraproducts, then [P] is a class of varieties that is definable by a Maltsev condition.?The property that all T ₀ topological algebras in are j-step Hausdor. (Hj) is preserved by finite products, and its negation is preserved by ultraproducts. We partially characterize the Maltsev condition associated to by showing that this topological implication holds in every (2j + 1)-permutable variety, but not in every (2j + 2)-permutable variety.?Finally, we show that the topological implication holds in every k-permutable, congruence modular variety. Received March 1, 2000; accepted in final form October 18, 2001.     

σ‐algebras for quasirandom hypergraphs

We examine the correspondence between the various notions of quasirandomness for k‐uniform hypergraphs and σ‐algebras related to measurable hypergraphs. This gives a uniform formulation of most of the notions of quasirandomness for dense hypergraphs which have been studied, with each notion of quasirandomness corresponding to a σ‐algebra defined by a collection of subsets of . We associate each notion of quasirandomness with a collection of hypergraphs, the ‐adapted hypergraphs, so that G is quasirandom exactly when it contains roughly the correct number of copies of each ‐adapted hypergraph. We then identify, for each , a particular ‐adapted hypergraph with the property that if G contains roughly the correct number of copies of then G is quasirandom in the sense of . This generalizes recent results of Kohayakawa, Nagle, Rödl, and Schacht; Conlon, Hàn, Person, and Schacht; and Lenz and Mubayi giving this result for some particular notions of quasirandomness. © 2016 Wiley Periodicals, Inc. Random Struct. Alg., 50, 114–139, 2017     

Banach空间的正规结构与对径点

假设S（X）是Banach空间X的单位球面,作引进了四个新的几何参数：Jε（X）=sup{βε（x）,x∈S（X）},jε（X）=inf{βε（x）,x∈S（X）},Gε（X）=sup{αε（x）,x∈S（X）},gε（X）=inf{αε（x）,x∈S（S）},其中≤ε≤1,βε（x）=sup{min{‖x εy‖,‖x-εy‖,y∈S（X）}},αε（x）=inf{max{‖x εy‖,‖x-εy‖,y∈S（X）}},讨论了这些参数的性质,本主要结果是：如果主要结果是：如果有一个ε,0≤ε≤1,使得Jε（X）＜1 ε/2或gε（X）＞1 ε/3,那末X有一至正规结构。