Generalizing realizability and Heyting models for constructive set theory

Annals of Pure and Applied Logic 163 (2):175-184 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.025

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,004

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Heyting-valued interpretations for Constructive Set Theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
Models of intuitionistic set theory in subtoposes of nested realizability toposes.Samuele Maschio & Thomas Streicher - 2015 - Annals of Pure and Applied Logic 166 (6):729-739.
Constructive toposes with countable sums as models of constructive set theory.Alex Simpson & Thomas Streicher - 2012 - Annals of Pure and Applied Logic 163 (10):1419-1436.
Realizability and recursive set theory.Charles McCarty - 1986 - Annals of Pure and Applied Logic 32:153-183.
Classical descriptive set theory as a refinement of effective descriptive set theory.Yiannis N. Moschovakis - 2010 - Annals of Pure and Applied Logic 162 (3):243-255.
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.Sergei Tupailo - 2003 - Annals of Pure and Applied Logic 120 (1-3):165-196.
A constructive consistency proof of a fragment of set theory.Jon Pearce - 1984 - Annals of Pure and Applied Logic 27 (1):25-62.
Generalizing the Mahlo Hierarchy, with Applications to the Mitchell Models.Stewart Baldwin - 1983 - Annals of Pure and Applied Logic 25 (2):103-127.
Dual realizability in symmetric logic.I. D. Zaslavsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):389-397.
Topological models of epistemic set theory.Nicolas D. Goodman - 1990 - Annals of Pure and Applied Logic 46 (2):147-167.

Analytics

Added to PP
2013-10-27

Downloads
42 (#591,241)

6 months
10 (#387,793)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
A cumulative hierarchy of sets for constructive set theory.Albert Ziegler - 2014 - Mathematical Logic Quarterly 60 (1-2):21-30.

Add more citations

References found in this work

Some applications of Kleene's methods for intuitionistic systems.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers, Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 113--170.
Heyting-valued interpretations for Constructive Set Theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.

Add more references