搜索结果: 1-3 共查到“数理逻辑与数学基础 Completeness”相关记录3条 . 查询时间(0.011 秒)
Characterizing model completeness among mutually algebraic structures
algebraic structures model completeness
2015/9/28
We characterize when the elementary diagram of a mutually algebraic
structure has a model complete theory, and give an explicit
description of a set of existential formulas to which every formula
i...
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...
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...