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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

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

Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
Functional interpretations of constructive set theory in all finite types.Justus Diller - 2008 - Dialectica 62 (2):149–177.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
A general notion of realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
Constructive set theoretic models of typed combinatory logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Combinator realizability of a constructive Morse set theory.John Staples - 1974 - Journal of Symbolic Logic 39 (2):226-234.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Closed fragments of provability logics of constructive theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Strictly primitive recursive realizability, I.Zlatan Damnjanovic - 1994 - Journal of Symbolic Logic 59 (4):1210-1227.
A survey of propositional realizability logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.
Axiomatic extensions of the constructive logic with strong negation and the disjunction property.Andrzej Sendlewski - 1995 - Studia Logica 55 (3):377 - 388.
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.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.

Analytics

Added to PP
2013-10-27

Downloads
26 (#602,477)

6 months
7 (#417,242)

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 & H. Rogers (eds.), 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