搜索页_+03G05

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

SpringerLink电子期刊(19)

Elsevier电子期刊(13)

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

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

1.Existence of optimal ultrafilters and the fundamental complexity of simple theories

作者：M. Malliaris^a ; ^{mem@math.uchicago.edu" class="auth_mail" title="E-mail the corresponding author} ; S. Shelah^b ; ^c

关键词：03C45 ; 03C20 ; 03E05 ; 03G05 ; 06E10

刊名：Advances in Mathematics

出版年：2016

2.An induction principle for consequence in arithmetic universes

作者：Maria Emilia Maietti^a ; ^{maietti@math.unipd.it} ; Steven Vickers^b ; ^{s.j.vickers@cs.bham.ac.uk}

关键词：Primary ; 03G30 ; Secondary ; 03F50 ; 54B40 ; 03G05 ; 08A55

刊名：Journal of Pure and Applied Algebra

出版年：2012

3.A note on well-generated Boolean algebras in models satisfying Martin's axiom

作者：Bonnet ; R. ; Rubin ; M.

关键词：primary 03G05 ; 03E35 ; secondary 06E05 ; 54G12 ; Superatomic Boolean algebras ; Well-founded lattices ; Consistency result

刊名：Discrete Mathematics

出版年：2005

4.Some results in dynamic model theory

作者：Kozen ; Dexter

关键词：03B60 ; 03B70 ; 03G05 ; 03G15 ; 06E25 ; 03C05 ; 08A70 ; 08B20 ; Model theory ; Kleene algebra ; Dynamic logic

刊名：Science of Computer Programming

出版年：2004

5.Free Boolean algebras and nowhere dense ultrafilters

作者：Blaszczyk ; Aleksander

关键词：03G05 ; 06E05 ; 06E15 ; Free Boolean algebras ; Nowhere dense ultrafilters ; Mathias forcing ; Regular-open algebra ; Rigid Boolean algebras

刊名：Annals of Pure and Applied Logic

出版年：2004

6.Distance in Post algebras

作者：Bankovic ; Dragic

关键词：03G20 ; 03G05 ; Post algebra ; Distance

刊名：Discrete Mathematics

出版年：2003

7.Independence of Boolean algebras and forcing

作者：Kurilic ; Milo&scaron ; S.

关键词：03G05 ; 06E05 ; 03E35 ; 03E40 ; Boolean algebras ; Distributive laws ; Boolean-valued models ; Forcing

刊名：Annals of Pure and Applied Logic

出版年：2003

8.Fallen cardinals

作者：Kojman ; Menachem ; Shelah ; Saharon

关键词：03G05 ; 04A20 ; 04A10 ; 54D80 ; 54A25 ; 54F65 ; Boolean algebra ; Forcing ; Distributivity ; Infinite cardinals ; Uniform ultrafilters ; Baire number ; pcf theory

刊名：Annals of Pure and Applied Logic

出版年：2001

9.A categorical interpretation of C.S. Peirce's propositional logic Alpha

作者：Brady ; Geraldine ; Trimble ; Todd H.

关键词：18C10 ; 18D15 ; 03G30 ; 03G05 ; 19D23 ; 01A55

刊名：Journal of Pure and Applied Algebra

出版年：2000

10.Definitional equivalence and algebraizability of generalized logical systems

作者：Pynko ; Alexej P.

关键词：primary ; 03B22 ; 03G99 ; secondary ; 03B05 ; 03B20 ; 03B50 ; 03B53 ; 03B55 ; 03C05 ; 03G05 ; 03G10 ; 03G25 ; 06D05 ; 06D05 ; 06D15 ; 06D20 ; 06D30 ; 08B15 ; 08C15 ; Term algebra ; First-order atomic formula ; Logical system ; Consequence operation ; Lattice of theories ; Equatio

刊名：Annals of Pure and Applied Logic

出版年：1999

1

2

按检索点细分(13)

关键词(13)

按出版年细分(13)

2016年(1)

2012年(1)

2005年(1)

2004年(2)

2003年(2)

2001年(1)

2000年(2)

2000年及以前(3)

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.