搜索结果: 1-10 共查到“数理逻辑与数学基础 property T”相关记录10条 . 查询时间(0.073 秒)
The Schr鰀er-Bernstein property for a-saturated models
Schr鰀er-Bernstein property a-saturated models
2015/9/25
A first-order theory T has the Schr╫der-Bernstein (SB) property
if any pair of elementarily bi-embeddable models are isomorphic. We prove
that T has an expansion by constants with the SB property if...
The Schr鰀er-Bernstein property for weakly minimal theories
The Schr鰀er-Bernstein property weakly minimal theories
2015/9/25
For a countable, weakly minimal theory T, we show that the SchröderBernstein
property (any two elementarily bi-embeddable models are isomorphic)
is equivalent to each of the following:
1. For ...
Theories without the tree property of the second kind
Theories the tree property of the second kind Logic
2012/4/23
We initiate a systematic study of the class of theories without the tree property of the second kind -- NTP2. Most importantly, we show: the burden is "sub-multiplicative" in arbitrary theories (in pa...
The Schroder-Bernstein property for a-saturated models
Schroder-Bernstein property a-saturated models Logic
2012/3/1
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...
Nowhere dense graph classes, stability, and the independence property
Nowhere dense graph classes the independence property
2010/11/23
A class of graphs is nowhere dense if for every integer r there is a finite upper bound on the size of cliques that occur as (topological) r-minors. We observe that this tameness notion from algorith...
On the Relative Weak Asymptotic Homomorphism Property for Pairs of Groups von Neumann Algebras
the Relative Weak Asymptotic Homomorphism Property Pairs Groups von Neumann Algebras
2010/11/9
We provide a direct and elementary proof of the equivalence between the weak asymptotic homomorphism property for the pair of group von Neumann algebras $L(H)\subset L(G)$ and the embedding into $H$ ...
Coupling Property and Gradient Estimates of Lévy Processes via the Symbol
Coupling Property Gradient Estimates Lévy Processes via the Symbol
2010/11/11
We derive explicitly the coupling property for the transition semigroup of a L\'evy process and gradient estimates for the associated semigroup of transition operators. This is based on the asymptoti...
Over C and over non-archimedean elds, analyti cation of algebraic spaces is de ned as
the solution to a quotient problem. Such analyti cation is interesting, since in the proper case it beautifully
...
On Summand Sum and Summand Intersection Property of Modules
SIP modules SSP modules extending modules lifting modules
2010/3/1
R will be an associative ring with identity and modules M will be unital left R- modules. In this work, extending modules and lifting modules with the SSP (or SIP) are studied. A necessary and suffici...
Solutions to congruences using sets with the property of Baire
Solutions sets property of Baire
2010/10/29
Hausdorff's paradoxical decomposition of a sphere with countably many points removed (the main precursor of the Banach-Tarski paradox) actually produced a partition of this set into three pieces A,B,...
