搜索结果: 1-15 共查到“理学 theories”相关记录145条 . 查询时间(0.531 秒)
Astronomers see evidence of Einstein's theories in star orbiting massive black hole（图）
Astronomers evidence Einstein theories star orbiting massive black hole
2019/10/22
More than 100 years ago, Albert Einstein predicted that light is deflected by extremely massive objects, but there is no way to test such powerful effects on Earth. Instead, astronomers turn their att...
三亚国际数学论坛：Superconformal Field Theories in 6 and Lower Dimensions
三亚国际数学论坛 Superconformal Field Theories in 6 Lower Dimensions
2017/11/24
Conformal field theories represent a very active research field worldwide with many international experts working on various aspects of the topic. Progress during the past several years has led to man...
Research proposes new theories about nature of Earth’s iron
new theories nature Earth’s iron
2017/3/30
New research challenges the prevailing theory that the unique nature of Earth’s iron was the result of how its core was formed billions of years ago.The study opens the door to competing theories abou...
International Conference on Algorithms and Applications for Excited State Electronic Structure Theories
Excited state electronic structure theory condensed matter physics
2016/7/22
Excited state electronic structure theory is one of the most active research fields in condensed matter physics and quantum chemistry, and plays a critical role in understanding electronic and optical...
Teichmuller与Grothendieck- Teichmüller理论研讨会将于2016年7月24日-30日在南开大学陈省身数学研究所举行
In this paper, we study VC-minimal theories and explore related concepts. We
first define the notion of convex orderablity and show that this lies strictly between VCminimality
and dp-minimality. To...
A simpler axiomatization of the Shelah-Spencer almost sure theories
Shelah-Spencer almost sure theories
2015/9/28
We give an explicit AE-axiomatization of the almost sure theories
of sparse random graphs G(n, n−α) of Shelah-Spencer. In the process
we give a method of constructing extensions of graphs whos...
Model completeness for trivial, uncountably categorical theories of Morley rank one
uncountably categorical theories Model completeness
2015/9/28
The present paper is a direct continuation of [2], where it is shown that any strongly
minimal trivial theory is model complete after naming constants for a model. In this
paper we show that this re...
Trivial, strongly minimal theories are model complete after naming constants
model complete naming constants
2015/9/25
We prove that if M is any model of a trivial, strongly
minimal theory, then the elementary diagram Th(MM ) is a model
complete LM -theory. We conclude that all countable models of
a trivial, strong...
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).
Borel completeness of some aleph_0 stable theories
Borel completeness some aleph_0 stable theories
2015/9/25
We study ℵ0-stable theories, and prove that if T either has eniDOP
or is eni-deep, then its class of countable models is Borel complete.
We introduce the notion of λ-Borel completeness and pro...
P-NDOP and P-decompositions of aleph_epsilon saturated models of superstable theories
P-NDOP P-decompositions
2015/9/25
Given a complete, superstable theory, we distinguish a class P of
regular types, typically closed under automorphisms of C and non-
orthogonality. We define the notion of P-NDOP, which is a weakenin...
ω-stable theories: Do uncountable languages matter?
ω-stable theories uncountable languages matter
2015/9/25
ω-stable theories: Do uncountable languages matter?
An old friend revisited: Countable models of ω-stable theories
Countable models ω-stable theories
2015/9/25
We work in the context of ω-stable theories. We obtain a natural,
algebraic equivalent of ENI-NDOP and discuss recent joint proofs with
S. Shelah that if an ω-stable theory has either ENI-DOP or is ...
We characterize the stable theories T for which the saturated
models of T admit decompositions. In particular, we show that
countable, shallow, stable theories with NDOP have this property.