搜索结果: 1-15 共查到“数学 theories”相关记录47条 . 查询时间(0.046 秒)
三亚国际数学论坛：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...
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.
Every countable, strictly stable theory either has the Dimensional
Order Property (DOP), is deep, or admits an ‘abelian group witness
to unsuperstability’. To obtain this and other results, we devel...
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 ...
By a classifiable theory we shall mean a theory which is superstable, without
the dimensional order property, which has prime models over pairs. In order
to define what we mean by unique decompositi...