Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator

Annals of Pure and Applied Logic 32:103-109 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90046-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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.
Sheaf models for choice sequences.Gerrit Van Der Hoeven & Ieke Moerdijk - 1984 - Annals of Pure and Applied Logic 27 (1):63-107.
Complete topoi representing models of set theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.
J. Barkley Rosser. Simplified independence proofs. Boolean valued models of set theory. Pure and applied mathematics, no. 31. Academic Press, New York and London 1969, xv + 217 pp. [REVIEW]Aleksander Rutkowski - 1974 - Journal of Symbolic Logic 39 (2):328-329.
Topological models of epistemic set theory.Nicolas D. Goodman - 1990 - Annals of Pure and Applied Logic 46 (2):147-167.
Automorphisms of models of set theory and extensions of NFU.Zachiri McKenzie - 2015 - Annals of Pure and Applied Logic 166 (5):601-638.
Some descriptive set theory and core models.P. D. Welch - 1988 - Annals of Pure and Applied Logic 39 (3):273-290.
Generalizing realizability and Heyting models for constructive set theory.Albert Ziegler - 2012 - Annals of Pure and Applied Logic 163 (2):175-184.
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.

Analytics

Added to PP
2014-01-16

Downloads
7 (#603,698)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Topological models of epistemic set theory.Nicolas D. Goodman - 1990 - Annals of Pure and Applied Logic 46 (2):147-167.

Add more citations

References found in this work

Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.

Add more references