搜索结果: 1-5 共查到“数理逻辑与数学基础 Constructing”相关记录5条 . 查询时间(0.031 秒)
Constructing Ultrapowers from Elementary Extensions of Full Clones
Ultrapower Full Clone Elementary Extensions
2012/7/11
Let $A$ be an infinite set. Let $\Omega(A)$ be the algebra over $A$ where every constant is a fundamental constant and every finitary function is a fundamental operation. We shall give a method of rep...
Abstract: In a previous paper I proposed a notion of $(\omega_1,\beta)$-morasses for $\omega_1 \leq \beta$. In the present paper such morasses are constructed in an inner model which satisfies amenabi...
Constructing a Model Transport Equation for a Massless Bose Gas and its Analytic Solution
massless Bose gas boundary value problem
2011/1/21
A model kinetic equation is constructed for the transport of a massless Bose gas. This equation is applied to solution of the boundary value prob-lem for the transport of radiation in the half-space o...
Constructing free actions of p-groups on products of spheres
Constructing free actions p-groups products of spheres
2010/11/11
We prove that, for p an odd prime, every finite p-group of rank 3 acts freely on a finite complex X homotopy equivalent to a product of three spheres
To a rational homology sphere graph manifold one can associate a weighted tree invariant called splice diagram. It was shown earlier that the splice diagram determines the universal abelian cover of ...