搜索结果: 1-15 共查到“数理逻辑与数学基础 order”相关记录19条 . 查询时间(0.186 秒)
Borel complexity of complete, first order theories(status report)
first order theories status report
2015/9/25
Borel complexity of complete, first order theories(status report).
Notation. For a positive integer n and a commutative ring R, we write R[n] to denote R
Z Z[n] =
R[X]=(n), where n denotes the nth cyclotomic polynomial. Thus, for R = Z[n] with n relatively pr...
The set theory KP$\Pi_{N+1}$ for $\Pi_{N+1}$-reflecting universes is shown to be $\Pi_{N+1}$-conservative over iterations of $\Pi_{N}$-recursively Mahlo operations for each $N\geq 2$.
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 consider the Cauchy problem of the fifth order KdV equation with low regularity initial data. We cannot apply the iteration argument to this problem when initial data is given in the Sobolev space...
Nilpotency in automorphic loops of prime power order
Nilpotency automorphic loops prime power order
2010/11/9
A loop is automorphic if its inner mappings are automorphisms. Using so-called associated operations, we show that every commutative automorphic loop of odd prime power order is centrally nilpotent. ...
A System of Third-Order Differential Operators Conformally Invariant under $\mathfrak{so}(8,\mathbb{C})$
Conformally Invariant math
2010/11/9
In earlier work, Barchini, Kable, and Zierau constructed a number of conformally invariant systems of differential operators associated to Heisenberg parabolic subalgebras in simple Lie algebras. The...
On Quantum Markov Chains on Cayley tree II: Phase transitions for the associated chain with XY-model on the Cayley tree of order three
On Quantum Markov Chains Cayley tree II
2010/11/15
In the present paper we study forward Quantum Markov Chains (QMC) defined on a Cayley tree. Using the tree structure of graphs, we give a construction of quantum Markov chains on a Cayley tree. By me...
A conjecture on Iterated Integrals and application to higher order invariants
Iterated Integrals order invariants
2010/11/19
We formulate the conjecture that the restriction morphism from free closed iterated integrals to closed iterated integrals on loops is onto. We show that, given the conjecture holds, the module of hig...
Second order subexponential distributions with finite mean and their applications to subordinated distributions
Second order subexponential distributions subordinated distributions
2010/11/22
Consider a probability distribution subordinate to a subexponential distribution with finite mean. In this paper, we discuss the second order tail behavior of the subordinated distribution within a r...
Variable Order Mixed H-Finite Element Method for Linear Elasticity with Weakly Imposed Symmetry. Ii. Affine and Curvilinear Elements in 2D
Variable Mixed H-Finite Element Method
2010/11/9
We continue our study on variable order Arnold-Falk-Winther elements for 2D elasticity in context of both affine and parametric curvilinear elements. We present an $h$-stability result for affine ele...
On the asymptotic stability of a rational multi-parameter first order difference equation
the asymptotic stability rational multi-parameter
2010/11/22
In this part we study the dynamics of the following rational multi-parameter first order difference equation x_{n+1} =(ax_{n}^3+ bx_{n}^2+cx_{n} + d)/x_{n}^3, x_{0}\in R^{+} where the parameters a, b...
Numerical Chaos in a Fractional Order Logistic Map
Numerical Chaos Fractional Order Logistic Map
2010/11/17
In this paper we investigate a fractional order logistic map and its discrete time dynamics. We show some basic properties of the fractional logistic map and numerically study its period-doubling rout...
True nature of long-range order in a plaquette orbital model
Rigorous results in statistical mechanics Classical phase transitions
2010/12/9
We analyze the classical version of a plaquette orbital model that was recently introduced and studied numerically by S. Wenzel and W. Janke.
The maximal linear extension theorem in second order arithmetic
maximal linear extension theorem second order arithmetic
2010/12/1
We show that the maximal linear extension theorem for well partial orders is equivalent over RCA0 to ATR0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR0 over RCA...