搜索页_+Solovay+model

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

SpringerLink电子期刊(6)

Elsevier电子期刊(32)

ACS电子期刊(1)

在“Elsevier电子期刊”中，命中：32条，耗时：小于0.01 秒

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

1.Universal computably enumerable sets and initial segment prefix-free complexity

作者：George Barmpalias

关键词：Universal sets ; Computably enumerable ; Kolmogorov complexity ; Initial segment complexity

刊名：Information and Computation

出版年：December, 2013

2.An infinity which depends on the axiom of choice

作者：Vladimir Kanovei ; ¹ ; ^{kanovei@rambler.ru} ; Vassily Lyubetsky² ; ^{lyubetsk@iitp.ru}

关键词：Pantachy ; Axiom of choice ; The Solovay model

刊名：Applied Mathematics and Computation

出版年：2012

3.HFD groups in the Solovay model

作者：Paul J. Szeptycki ; Artur H. Tomita

关键词：Topological group ; Countably compact ; Non-trivial convergent sequences ; Hereditarily finally dense ; Random real ; Solovay model

刊名：Topology and its Applications

出版年：2009

4.Some new results on decidability for elementary algebra and geometry

作者：Robert M. Solovay ; R.D. Arthan ; John Harrison

关键词：03D35 ; 03C10 ; 03C65

刊名：Annals of Pure and Applied Logic

出版年：2012

5.Undecidability of the structure of the Solovay degrees of c.e. reals

作者：Rod Downey ; Denis R. Hirschfeldt ; Geoff LaForte

关键词：Randomness ; c.e. reals ; Solovay reducibility

刊名：Journal of Computer and System Sciences

出版年：2007

6.A new characterization of supercompactness and applications

作者：Qi Feng

关键词：Solovay pairs ; Supercompact cardinals ; Inner models ; Prikry forcing ; Precipitous ideals

刊名：Annals of Pure and Applied Logic

出版年：2009

7.An Algorithmic Construction of Quantum Circuits of High Descriptive Complexity

作者：Willem L. Fouché

关键词：Large quantum circuits ; Solovay-Kitaev theorem ; computable representations

刊名：Electronic Notes in Theoretical Computer Science

出版年：2008

8.An early approach toward graded identity and graded membership in set theory

作者：Siegfried Gottwald

关键词：Fuzzy set theory ; Universes of fuzzy sets ; Mathematical fuzzy logic ; Graded identities ; Boolean valued universes

刊名：Fuzzy Sets and Systems

出版年：2010

9.The computable Lipschitz degrees of computably enumerable sets are not dense

作者：Adam R. Day

关键词：Computable Lipschitz degrees ; Algorithmic information theory ; Density ; Computably enumerable sets

刊名：Annals of Pure and Applied Logic

出版年：2010

10.Borel extractions of converging sequences in compact sets of Borel functions

作者：Gabriel Debs

关键词：Rosenthal compacta ; Borel functions ; Solovay filters

刊名：Journal of Mathematical Analysis and Applications

出版年：2009

1

2

3

4

按检索点细分(32)

题名(4)

作者(3)

关键词(9)

文摘(25)

按出版年细分(32)

2027年及以后(1)

2012年(2)

2010年(3)

2009年(3)

2008年(3)

2007年(2)

2006年(1)

2005年(2)

2004年(3)

2002年(3)

2001年(2)

2000年(1)

2000年及以前(6)

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.