Continuity and logical completeness: An application of sheaf theory and topoi

被引：1

|

作者：

Awodey, Steve ^{[1
]}

机构：

[1] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA

来源：

AGE OF ALTERNATIVE LOGICS: ASSESSING PHILOSOPHY OF LOGIC AND MATHEMATICS TODAY | 2006年 / 3卷

关键词：

D O I：

10.1007/978-1-4020-5012-7_10

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

收藏

页码：139 / 149

页数：11

相关论文

共 50 条

[1] Sheaf representation for topoi
Awodey, S
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2000, 145 (02) : 107 - 121
[2] Theory of Completeness for Logical Spaces
Gomi, Kensaku
[J]. LOGICA UNIVERSALIS, 2009, 3 (02) : 243 - 291
[3] Completeness of a system of eigenvectors of quadratic operator sheaf in waveguide theory
A. L. Delitsyn
[J]. Moscow University Physics Bulletin, 2011, 66
[4] Completeness of a system of eigenvectors of quadratic operator sheaf in waveguide theory
Delitsyn, A. L.
[J]. MOSCOW UNIVERSITY PHYSICS BULLETIN, 2011, 66 (02) : 126 - 128
[5] CONTINUITY, HOLOMORPHY AND LOGIC OF TOPOI
ROUSSEAU, C
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A478 - A478
[6] LOGICAL OPENS AND REAL NUMBERS IN TOPOI
DUBUC, EJ
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1986, 43 (02) : 129 - 143
[7] LOGICAL CATEGORIES, POLYADIC CATEGORIES AND TOPOI
VOLGER, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 386 - 386
[8] ON THE SHEAF THEORY
Choukri, R.
El Kinani, A.
Oukhouya, A.
[J]. RENDICONTI DEL CIRCOLO MATEMATICO DI PALERMO, 2006, 55 (02) : 185 - 191
[9] On the Meaning of Logical Completeness
Basaldella, Michele
Terui, Kazushige
[J]. TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 50 - 64
[10] LOGICAL HYLOMORPHISM AND ARISTOTLE KOINOI-TOPOI
CONLEY, TM
[J]. CENTRAL STATES SPEECH JOURNAL, 1978, 29 (02): : 92 - 97

← 1 2 3 4 5 →