理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到数理逻辑与数学基础 K-theory相关记录63条 . 查询时间(0.484 秒)
In the early days of the development of model theory it was considered natural and was certainly beneficial to assume that the theories under investigation were in a countable language. The primary ...
The paper contains mathematical justification of basic facts concerning the Brownian motor theory. The homogenization theorems are proved for the Brownian motion in periodic tubes with a constant drif...
Dynamical systems with multiple time scales arise naturally in many domains. Models of neural systems provide the principal motivation for this paper. Most of the previous mathematical analysis of q...
I. P. GOULDEN, D. M. JACKSON AND R. VAKILConjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the \polynomiality" of Hurwitz numbers, from which we pick...
I. P. GOULDEN, D. M. JACKSON AND R. VAKILConjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the \polynomiality" of Hurwitz numbers, from which we pick...
From shuffling cards to walking around the building:An Inetroduction to modern markov chain theory
Performance characteristics of Bayes estimates are studied. More exactly, for each subject in a data set, let 5 be a vector of binary covariates and let Y be a normal response variable, with E{YIE...
This paper records the path of a letter that Marty Isaacs wrote to a stranger. The tools in the letter are used to illustrate a di erent way of studying random walk on the Heisenberg group. The author...
Evidence Theory is a branch of mathematics that concerns the combination of empirical evidence in an individual's mind in order to construct a coherent picture of reality. Designed to deal with unex...
In this note, we show that, assuming a positive solution to the Connes Embedding Problem (CEP), the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fa...
We describe the residue fields of arbitrary convex valuations on certain o-minimal expansions of the ordered field of real numbers. References: [1] Franz-Viktor and Salma Kuhlmann: Residue fields of a...
We provide some examples showing how game-theoretic arguments can be used in computability theory and algorithmic information theory: unique numbering theorem (Friedberg), the gap between conditional ...
Abstract: Acyclicity of individual preferences is a minimal assumption in social choice theory. We replace that assumption by the direct assumption that preferences have maximal elements on a fixed ag...
General dynamic properties like controllability and simulability of spin systems, fermionic and bosonic systems are investigated in terms of symmetry.Symmetries may be due to the interaction topology ...
In this paper, the second of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs has girth tending to infinity, then the maximal coarse B...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...