理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 >>>
搜索结果: 1-15 共查到知识库 演绎逻辑学相关记录34条 . 查询时间(4.538 秒)
A first-order theory T has the Schr\"oder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB propert...
This file contains examples of the generalized quantum permanent compromise attack to the Blum- Micali construction. The examples presented here illustrate the attack described in the paper published...
Product update is an operation on models introduced into epistemic logic in order to represent a broad class of informational events. If adding modalities representing product update to a language do...
We prove the Conley conjecture for negative monotone, closed symplectic manifolds, i.e., the existence of infinitely many periodic orbits for Hamiltonian diffeomorphisms of such manifolds.
A Trotter product formula is established for unitary quantum stochastic processes governed by quantum stochastic differential equations with constant bounded coefficients.
Jets, Lifts and Dynamics     Jets  Lifts  Dynamics       2010/11/9
We show that complete cotangent lifts of vector fields, their decomposition into vertical representative and holonomic part provide a geometrical framework underlying Eulerian equations of continuum ...
We give an elementary proof of the Kontsevich conjecture that asserts that the iterations of the noncommutative rational map K_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1}) are given by noncommutative Laurent po...
Let $K$ be a complete discrete valued field of characteristic zero with residue field $k_K$ of characteristic $p > 0$. Let $L/K$ be a finite Galois extension with the Galois group $G$ and suppose tha...
We show that for $n>k(4e\log k)^k$ every set $\{x_1,..., x_n\}$ of $n$ real numbers with $\sum_{i=0}^{n}x_i \geq 0$ has at least $\binom{n-1}{k-1}$ $k$-element subsets of a non-negative sum. This is ...
A stochastic model for a chemical reaction network is embedded in a one-parameter family of models with species numbers and rate constants scaled by powers of the parameter. A systematic approach is ...
In this paper we introduce the models for $(\infty, n)$-categories which have been developed to date, as well as the comparisons between them that are known and conjectured. We review the role of $(\i...
We propose several statistics to test the Markov hypothesis for $\beta$-mixing stationary processes sampled at discrete time intervals. Our tests are based on the Chapman--Kolmogorov equation. We est...
We prove the following result: Let $N \geq 2$ and assume the Riemann Hypothesis (RH) holds. Then \[ \sum_{n=1}^{N} R(n) =\frac{N^{2}}{2} -2 \sum_{\rho} \frac{N^{\rho + 1}}{\rho (\rho + 1)} + O(N \log...
Let $\pi, \pi'$ be tempered representations of an affine Hecke algebra with positive parameters. We study their Euler--Poincar\'e pairing $EP (\pi,\pi')$, the alternating sum of the dimensions of the...
Let $G$ be a $p$-group of nilpotency class $k$ with finite exponent $\exp(G)$ and let $m=\lfloor\log_pk\rfloor$. We show that $\exp(M^{(c)}(G))$ divides $\exp(G)p^{m(k-1)}$, for all $c\geq1$, where $...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...