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 条
  • [31] ALGEBRAIC TOPOSES AND TOPOLOGIES
    IONITA, C
    [J]. REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES, 1982, 27 (08): : 831 - 847
  • [32] CATEGORIES, TOPOSES AND SETS
    BELL, JL
    [J]. SYNTHESE, 1982, 51 (03) : 293 - 337
  • [33] SERRE CLASSES FOR TOPOSES
    ADELMAN, M
    JOHNSTONE, PT
    [J]. BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 1982, 25 (01) : 103 - 115
  • [34] TOPOSES AS HOMOTOPY GROUPOIDS
    JOYAL, A
    MOERDIJK, I
    [J]. ADVANCES IN MATHEMATICS, 1990, 80 (01) : 22 - 38
  • [35] Locally anisotropic toposes
    Funk, Jonathon
    Hofstra, Pieter
    [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2018, 222 (06) : 1251 - 1286
  • [36] Toposes for semigroups: an invitation
    Jonathon Funk
    Pieter Hofstra
    [J]. Semigroup Forum, 2021, 103 : 715 - 776
  • [37] Totally distributive toposes
    Lucyshyn-Wright, Rory B. B.
    [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2012, 216 (11) : 2425 - 2431
  • [38] OPEN MAPS OF TOPOSES
    JOHNSTONE, PT
    [J]. MANUSCRIPTA MATHEMATICA, 1980, 31 (1-3) : 217 - 247
  • [39] Finiteness and Computation in Toposes
    Haeusler, Edward Hermann
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (204): : 61 - 77
  • [40] EQUATIONAL CLASSES OF TOPOSES
    MOERDIJK, I
    [J]. COMMUNICATIONS IN ALGEBRA, 1983, 11 (08) : 839 - 842
12345