- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Sheaf models for choice sequences
Annals of Pure and Applied Logic 27 (1):63-107 (1984)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
On Choice Sequences Determined by Spreads.Gerrit van der Hoeven & Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (3):908 - 916.
On choice sequences determined by spreads.Gerritder Hoeven & Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (3):908 - 916.
Brouwer meets Husserl: on the phenomenology of choice sequences.Markus Sebastiaan Paul Rogier van Atten - 2007 - Dordrecht: Springer.
Intuitionistic choice and classical logic.Thierry Coquand & Erik Palmgren - 2000 - Archive for Mathematical Logic 39 (1):53-74.
Compact representations of BL-algebras.Antonio Di Nola & Laurentiu Leustean - 2003 - Archive for Mathematical Logic 42 (8):737-761.
On the Cauchy completeness of the constructive Cauchy reals.Robert S. Lubarsky - 2007 - Mathematical Logic Quarterly 53 (4‐5):396-414.
Observations on sequences of choices made at five successive choice points.Malcolm G. Preston & Pearl M. Zeid - 1943 - Journal of Experimental Psychology 32 (4):275.
Busy choice sequences refraining formulas and modalities.Ming Xu - 1995 - Studia Logica 54 (3):267 - 301.
Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuumt.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
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.
Discrete dynamic choice: an extension of the choice models of Thurstone and Luce.John Dagsvik - 1983 - Oslo: I kommisjon hos H. Aschehoug og Universitetsforlaget.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
From the axiom of choice to choice sequences.H. Jervell - 1996 - Nordic Journal of Philosophical Logic 1 (1):95-98.
Analytics
Added to PP
2014-01-16
Downloads
47 (#330,788)
6 months
13 (#182,749)
2014-01-16
Downloads
47 (#330,788)
6 months
13 (#182,749)
Historical graph of downloads
Citations of this work
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
Extended bar induction in applicative theories.G. R. Renardel Delavalette - 1990 - Annals of Pure and Applied Logic 50 (2):139-189.
Extended bar induction in applicative theories.Gerard R. Renardel de Lavalette - 1990 - Annals of Pure and Applied Logic 50 (2):139-189.
A constructive manifestation of the Kleene–Kreisel continuous functionals.Martín Escardó & Chuangjie Xu - 2016 - Annals of Pure and Applied Logic 167 (9):770-793.
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.
A remark on free choice sequences and the topological completeness proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (4):369-388.
Concepts of general topology in constructive mathematics and in sheaves.R. J. Grayson - 1981 - Annals of Mathematical Logic 20 (1):1.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo