Aspects of predicative algebraic set theory, II: Realizability-Reference-Cited by-同舟云学术

Aspects of predicative algebraic set theory, II: Realizability

Published:2011-04 Issue:20 Volume:412 Page:1916-1940
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

van den Berg Benno,Moerdijk Ieke

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference36 articles.

1. The type theoretic interpretation of constructive set theory;Aczel,1978

2. P. Aczel, M. Rathjen, Notes on constructive set theory, Technical Report No. 40, Institut Mittag-Leffler, 2000/2001.

3. Local realizability toposes and a modal logic for computability;Awodey;Math. Structures Comput. Sci.,2002

4. B. van den Berg, Predicative topos theory and models for constructive set theory. Ph.D. Thesis, University of Utrecht, 2006. Available from the author’s homepage.

5. Aspects of predicative algebraic set theory I: exact completion;van den Berg;Ann. Pure Appl. Logic,2008

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS;The Journal of Symbolic Logic;2020-10-22

2. On Tarski’s fixed point theorem;Proceedings of the American Mathematical Society;2015-06-11

3. Models of intuitionistic set theory in subtoposes of nested realizability toposes;Annals of Pure and Applied Logic;2015-06

4. The axiom of multiple choice and models for constructive set theory;Journal of Mathematical Logic;2014-06

5. Relating first-order set theories, toposes and categories of classes;Annals of Pure and Applied Logic;2014-02