Sheaf models for choice sequences

&
Annals of Pure and Applied Logic 27 (1):63-107 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(84)90035-6

Links

PhilArchive



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

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

A characterization theorem for geometric logic.Olivia Caramello - 2011 - Annals of Pure and Applied Logic 162 (4):318-321.
Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator.Andre Scedrov - 1986 - Annals of Pure and Applied Logic 32:103-109.
Review: Ieke Moerdijk, Gonzalo E. Reyes, Models for Smooth Infinitesimal Analysis. [REVIEW]Anders Kock - 1993 - Journal of Symbolic Logic 58 (1):354-355.
The associated sheaf functor theorem in algebraic set theory.Nicola Gambino - 2008 - Annals of Pure and Applied Logic 156 (1):68-77.
Ieke Moerdijk and Gonzalo E. Reyes. Models for smooth infinitesimal analysis. Springer-Verlag, New York, Berlin, etc., 1991, x + 399 pp. [REVIEW]Anders Kock - 1993 - Journal of Symbolic Logic 58 (1):354-355.
Global square sequences in extender models.Martin Zeman - 2010 - Annals of Pure and Applied Logic 161 (7):956-985.
Aspects of predicative algebraic set theory I: Exact Completion.Benno van den Berg & Ieke Moerdijk - 2008 - Annals of Pure and Applied Logic 156 (1):123-159.
Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.
Laver forcing and converging sequences.Alan Dow - 2024 - Annals of Pure and Applied Logic 175 (1):103247.
Convergent sequences in topological groups.Michael Hrušák & Alexander Shibakov - 2021 - Annals of Pure and Applied Logic 172 (5):102910.

Analytics

Added to PP
2014-01-16

Downloads
47 (#329,645)

6 months
6 (#700,231)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
Extended bar induction in applicative theories.Gerard R. Renardel de Lavalette - 1990 - Annals of Pure and Applied Logic 50 (2):139-189.
Extended bar induction in applicative theories.G. R. Renardel Delavalette - 1990 - Annals of Pure and Applied Logic 50 (2):139-189.

Add more citations

References found in this work

Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.
Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.

View all 6 references / Add more references