搜索结果: 1-15 共查到“数理逻辑与数学基础 Theory”相关记录63条 . 查询时间(0.263 秒)
Descriptive set theory and uncountable model theory
Descriptive set theory uncountable model theory
2015/9/25
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 ...
On mathematical foundation of the Brownian motor theory
Brownian motors diffusion effective drift effective diffusivity Bloch decomposition
2015/9/25
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...
Towards a Global Theory of Singularly Perturbed Dynamical Systems
Perturbed Dynamical System Theory
2015/8/25
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...
A SHORT PROOF OF THE CONJECTURE WITHOUT GROMOV-WITTEN THEORY: HURWITZ THEORY AND THE MODULI OF CURVES
HURWITZ THEORY THE MODULI OF CURVES
2015/7/14
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...
A SHORT PROOF OF THE CONJECTURE WITHOUT GROMOV-WITTEN THEORY: HURWITZ THEORY AND THE MODULI OF CURVES
HURWITZ THEORY THE MODULI OF CURVES
2015/7/14
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
Shuffle CARDS walk around buildings markov chain theory
2015/7/14
From shuffling cards to walking around the building:An Inetroduction to modern markov chain theory。
Consistency of Bayes Estimates for Nonparametric Regression: Normal Theory
Consistency Bayes estimates model selection binary regression
2015/7/14
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...
A MATHEMATICAL THEORY OF EVIDENCE FOR G.L.S. SHACKLE
MATHEMATICAL THEORY EVIDENCE FOR G.L.S. SHACKLE
2014/6/27
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...
Does the theory of tracial von Neumann algebras have a model companion?
the theory of tracial von Neumann algebras model companion Logic
2012/7/11
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...
Valuation theory of exponential Hardy fields
Valuation theory of exponential Hardy fields Logic
2012/6/19
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...
Game arguments in computability theory and algorithmic information theory
Game arguments computability theory algorithmic information theory Logic
2012/4/17
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 ...
Preference aggregation theory without acyclicity: The core without majority dissatisfaction
Core Nakamura number kappa number simple games voting games maximal elements acyclic preferences limit ordinals
2011/9/29
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 ...
Higher index theory for certain expanders and Gromov monster groups II
Higher index theory certain expanders Gromov monster groups II
2011/2/22
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...