共查询到20条相似文献,搜索用时 38 毫秒
1.
S. A. Shakhova 《Algebra and Logic》2005,44(2):132-139
Let M be any quasivariety of Abelian groups,
(H) be the dominion of a subgroup H of a group G in M, and Lq(M) be the lattice of subquasivarieties of M. It is proved that
(H ) coincides with a least normal subgroup of the group G containing H, the factor group with respect to which is in M. Conditions are specified subject to which the set L(G,H,M) = {
(H) | N Lq(M)} forms a lattice under set-theoretic inclusion and the map : Lq(M) L(G,H,M) such that (N) =
(H) for any quasivariety N Lq(M)is an antihomomorphism of the lattice L
q
(M) onto the lattice L(G, H, M).__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 238–251, March–April, 2005. 相似文献
2.
Ulrich Kohlenbach 《Archive for Mathematical Logic》1992,31(4):227-241
A pointwise version of the Howard-Bezem notion of hereditary majorization is introduced which has various advantages, and its relation to the usual notion of majorization is discussed. This pointwise majorization of primitive recursive functionals (in the sense of Gödel'sT as well as Kleene/Feferman's) is applied to systems of intuitionistic and classical arithmetic (H andH
c) in all finite types with full induction as well as to the corresponding systems with restricted induction andc.
相似文献
1) | H and are closed under a generalized fan-rule. For a restricted class of formulae this also holds forH c andc. |
2) | We give a new and very perspicuous proof that for each one can construct a functional such that is a modulus of uniform continuity for on {1n(nn)}. Such a modulus can also be obtained by majorizing any modulus of pointwise continuity for . |
3) | The type structure of all pointwise majorizable set-theoretical functionals of finite type is used to give a short proof that quantifier-free choice with uniqueness (AC!)1,0-qf. is not provable within classical arithmetic in all finite types plus comprehension [given by the schema (C):y 0x (yx=0A(x)) for arbitraryA], dependent -choice and bounded choice. Furthermore separates several -operators. |
3.
4.
Guillermo López Lagomasino 《Constructive Approximation》1989,5(1):199-219
Letd be a finite positive Borel measure on the interval [0, 2] such that >0 almost everywhere; andW
n be a sequence of polynomials, degW
n
=n, whose zeros (w
n
,1,,w
n,n
lie in [|z|1]. Let d
n
<> for eachnN, whered
n
=d/|W
n
(e
i
)|2. We consider the table of polynomials
n,m such that for each fixednN the system
n,m,mN, is orthonormal with respect tod
n
. If
相似文献
5.
B. Le Gac 《Analysis Mathematica》1992,18(2):103-109
(X
k
),k=1,2,... —
k
2
>1; (X
k
) , E(X
k
X
t
)=0 p
k<>(p+1)
(p,k,l=1, 2, ...) , , ,
|