搜索页_+countable+saturated+model

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

CNKI学位论文(2)

知网期刊论文(2)

在“SpringerLink电子期刊”中，命中：14条，耗时：0.0809958 秒

在所有数据库中总计命中：4条

1. The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models

作者：Mikhail G. Peretyat’kin (19)

关键词：finitely axiomatizable theory ; Tarski ; Lindenbaum algebra ; c.e. Boolean algebra ; countable saturated model ; computable family of types ; Turing computability ; hierarchy ; m ; complete set

刊名：Lecture Notes in Computer Science

出版年：2013

2. Spectra of computable models for Ehrenfeucht theories

作者： A. N. Gavryushkin

关键词：Ehrenfeucht theory ; countable model ; computable presentation of a model

刊名：Algebra and Logic

出版年：2007

3.Resplendent models and S₁¹{\Sigma_1^1} -definability with an oracle

作者：Andrey Bovykin

关键词：Resplendent model ; Arithmetised completeness theorem ; Pabion’ ; s theorem ; Chronically resplendent model ; ω ; categorical theory ; Linear order ; Dense linear order ; Discrete linear order ; Model theory ; Expansion of a structure ; Recursively

刊名：Archive for Mathematical Logic

出版年：2008

4.Spectra of computable models for Ehrenfeucht theories

作者：A. N. Gavryushkin

关键词：Ehrenfeucht theory ; countable model ; computable presentation of a model

刊名：Algebra and Logic

出版年：2007

5. Syntactic approach to constructions of generic models

作者： S. V. Sudoplatov

关键词：generic model ; generic theory

刊名：Algebra and Logic

出版年：2007

6.Complete theories with finitely many countable models. II

作者：S. V. Sudoplatov

关键词：complete theory ; Ehrenfeucht theory ; number of countable models ; Rudin ; Keisler quasiorder

刊名：Algebra and Logic

出版年：2006

7.Syntactic approach to constructions of generic models

作者：S. V. Sudoplatov

关键词：generic model ; generic theory

刊名：Algebra and Logic

出版年：2007

8.Deflationary Truth and Pathologies

作者：Cezary Cie?li¨½ski

关键词：Conservativeness ; Deflationism ; Truth ; Satisfaction classes

刊名：Journal of Philosophical Logic

出版年：2010

9. Powerful digraphs

作者： S. V. Sudoplatov

关键词：powerful type ; powerful digraph ; infinite weight

刊名：Siberian Mathematical Journal

出版年：2007

10.Powerful digraphs

作者：S. V. Sudoplatov

关键词：powerful type ; powerful digraph ; infinite weight

刊名：Siberian Mathematical Journal

出版年：2007

1

2

按检索点细分(14)

题名(3)

关键词(1)

文摘(12)

按出版年细分(14)

2013年(1)

2010年(1)

2008年(1)

2007年(6)

2006年(1)

2003年(1)

2000年(1)

2000年及以前(2)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.