Characterizing partitioned assemblies and realizability toposes

被引：2

作者：

Frey, Jonas

机构：

来源：

JOURNAL OF PURE AND APPLIED ALGEBRA | 2019年 / 223卷 / 05期

基金：

欧洲研究理事会;

关键词：

EXACT COMPLETIONS;

D O I：

10.1016/j.jpaa.2018.08.012

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We give simple characterizations of the category PAsm(A) of partitioned assemblies, and of the realizability topos RT(A) over a partial combinatory algebra A. This answers the question for an 'extensional characterization' of realizability toposes. (C) 2018 Elsevier B.V. All rights reserved.

引用

页码：2000 / 2014

页数：15

共 35 条

[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] A NOTE ON INEQUIVALENCE OF REALIZABILITY TOPOSES
JOHNSTONE, PT
ROBINSON, EP
[J]. MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1989, 105 : 1 - 3
[4] GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES
Johnstone, Peter
[J]. THEORY AND APPLICATIONS OF CATEGORIES, 2013, 28 : 241 - 249
[5] The number of countable models in realizability toposes
Ackerman, Nathanael Leedom
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2012, 216 (8-9) : 1994 - 2013
[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] Symmetric nonnegative realizability via partitioned majorization
Johnson, C. R.
Marijuan, C.
Pisonero, M.
[J]. LINEAR & MULTILINEAR ALGEBRA, 2017, 65 (07): : 1417 - 1426
[10] CONDITIONS FOR THE PHYSICAL REALIZABILITY OF POLARIZATION MATRICES CHARACTERIZING PASSIVE SYSTEMS
BARAKAT, R
[J]. JOURNAL OF MODERN OPTICS, 1987, 34 (12) : 1535 - 1544

← 1 2 3 4 →