搜索结果: 76-90 共查到“知识库 数理逻辑与数学基础”相关记录1409条 . 查询时间(6.161 秒)
MATHEMATICS IS A QUEST FOR TRUTH
MATHEMATICS TRUTH
2015/12/17
The question of how to teach mathematics in primary and secondary education
has appeared in newspaper opinion pages regularly during the last few years. The
topic is a complicated one and does not a...
THE PUZZLE CONJECTURE FOR THE COHOMOLOGY OF TWO-STEP FLAG MANIFOLDS
PUZZLE CONJECTURE TWO-STEP FLAG MANIFOLDS
2015/12/17
We prove a conjecture of Knutson asserting that the Schubert
structure constants of the cohomology ring of a two-step flag variety are equal
to the number of puzzles with specified borde...
关于广义Kloosterman和的均值
Kloosterman和 指数和 Dirichlet特征 均值
2018/2/6
设$q\geq 2$为整数, $\chi$ 为模$q$的Dirichlet特征, $m, n$为任意整数. 广义Kloosterman和$K(m,n, \chi; q)$的定义为$$K(m, n, \chi; q)=\sum '_{a=1}^q\chi(a)e\bigg(\frac{ma+n\overline{a}q\bigg),$$其中$\sum'$ 表示对与$q$互素的所有整数$a$ 求和, ...
作为经典~Hardy~算子及~Ces$\rm\grave{a}$ro~算子的推广, Hausdorff~算子在调和分析中起着重要作用, 因此讨论此类算子在各种函数空间上的有界性意义重大. 文章研究了一类~Hausdorff~算子在~Lebesgue~空间上的有界性, 并且计算出了该算子在这类空间上有界的最佳常数. 此外, 文章还得到了一类多线性~Hausdorff~算子在~Lebesgue~空间上...
相对Gorenstein投射模
相对Gorenstein投射模 相对整体维数 相对可解
2018/2/6
设环$A$是环$B$的扩张环,即$B$是与$A$有相同单位的$A$的子环. 记$\mathcal P(A,B)$是由所有相对投射模构成的范畴.对于扩张$B\hookrightarrow A$, 本文介绍相对Gorenstein投射模的概念.由于Gorenstein投射模与投射模具有紧密的联系,并且关于Gorenstein维数有较好的性质,本文想给出相对Gorenstein投射模和相对投射模之间类似...
We sharpen H丩ajek乫s Completeness Theorem for theories
extending predicate product logic, 儺佂. By relating provability
in this system to embedding properties of ordered abelian groups
we construct a ...
We present a general construction of a family of ordinal
sums of a sequence of structures and prove an elimination
theorem for the class of ordinal sums in an expanded language.
From this we deduce...
A classification of BL-algebras.
SHIMURA VARIETIES WITH Γ1(p)-LEVEL VIA HECKE ALGEBRA ISOMORPHISMS: THE DRINFELD CASE
VIA HECKE ALGEBRA THE DRINFELD CASE
2015/9/29
We study the local factor at p of the semi-simple zeta function of a Shimura
variety of Drinfeld type for a level structure given at p by the pro-unipotent radical of an
Iwahori subgroup. Our method...
In this paper, we study VC-minimal theories and explore related concepts. We
first define the notion of convex orderablity and show that this lies strictly between VCminimality
and dp-minimality. To...
Data compression and definability of types in stable and dependent formulas
Data compression formulas
2015/9/28
Data compression and definability of types in stable and dependent formulas.
Compression schemes, stable definable families, and o-minimal structures
Compression schemes stable definable families o-minimal structures
2015/9/28
We show that any family of sets uniformly definable in an ominimal
structure has an extended compression scheme of size equal
to the number of parameters in the defining formula.
We introduce the concept of a locally finite abstract elementary class and develop the theory of excellence
(with respect to disjoint ( !, k)-amalgamation) for such classes. From this we find...
Gender Differences in Growth in Mathematical Skills During Secondary Grades: A Growth Model Analysis
Mathematical Skills Growth
2015/9/28
The purpose of this study was to examine differences in the rate at which males and females acquired mathematical skills during secondary grades and to determine the relationship between their rates o...
Given a sequence {αn} in (0, 1) converging to a rational, we examine
the model theoretic properties of structures obtained as limits of ShelahSpencer
graphs G(m, m−αn ). We show that in most c...