A NOTE ON INEQUIVALENCE OF REALIZABILITY TOPOSES

被引：2

|

作者：

JOHNSTONE, PT ^{[1
]}

ROBINSON, EP ^{[1
]}

机构：

[1] QUEENS UNIV,DEPT COMP & INFORMAT SCI,KINGSTON K7L 3N6,ONTARIO,CANADA

来源：

MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY | 1989年 / 105卷

关键词：

D O I：

10.1017/S0305004100001304

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1 / 3

页数：3

相关论文

共 50 条

[1] Sheaf toposes for realizability
Awodey, Steven
Bauer, Andrej
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2008, 47 (05) : 465 - 478
[2] Sheaf toposes for realizability
Steven Awodey
Andrej Bauer
[J]. Archive for Mathematical Logic, 2008, 47 : 465 - 478
[3] GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES
Johnstone, Peter
[J]. THEORY AND APPLICATIONS OF CATEGORIES, 2013, 28 : 241 - 249
[4] The number of countable models in realizability toposes
Ackerman, Nathanael Leedom
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2012, 216 (8-9) : 1994 - 2013
[5] Characterizing partitioned assemblies and realizability toposes
Frey, Jonas
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2019, 223 (05) : 2000 - 2014
[6] MORE ON GEOMETRIC MORPHISMS BETWEEN REALIZABILITY TOPOSES
Faber, Eric
van Oosten, Jaap
[J]. THEORY AND APPLICATIONS OF CATEGORIES, 2014, 29 : 874 - 895
[7] Models of intuitionistic set theory in subtoposes of nested realizability toposes
Maschio, Samuele
Streicher, Thomas
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2015, 166 (06) : 729 - 739
[8] On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
Zoethout, Jetze
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2021, 31 (02) : 214 - 233
[9] NOTE ON REALIZABILITY OF DIRECTED GRAPHS
SESHU, S
[J]. IRE TRANSACTIONS ON CIRCUIT THEORY, 1962, CT 9 (04): : 412 - &
[10] NOTE ON INEQUIVALENCE OF CLASSICAL AND QUANTUM HAMILTONIANS
KENNEDY, FJ
KERNER, EH
[J]. AMERICAN JOURNAL OF PHYSICS, 1965, 33 (06) : 463 - &

← 1 2 3 4 5 →