Sheaf models for choice sequences

Gerrit Van Der Hoeven^*, Ieke Moerdijk

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	63-107
Number of pages	45
Journal	Annals of Pure and Applied Logic
Volume	27
Issue number	1
DOIs	https://doi.org/10.1016/0168-0072(84)90035-6
Publication status	Published - Aug 1984

Access to Document

@article{a287494b7d524dc5b72a407f939d3f15,

title = "Sheaf models for choice sequences",

author = "{Van Der Hoeven}, Gerrit and Ieke Moerdijk",

year = "1984",

month = aug,

doi = "10.1016/0168-0072(84)90035-6",

language = "English",

volume = "27",

pages = "63--107",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "1",

}

TY - JOUR

T1 - Sheaf models for choice sequences

AU - Van Der Hoeven, Gerrit

AU - Moerdijk, Ieke

PY - 1984/8

Y1 - 1984/8

UR - http://www.scopus.com/inward/record.url?scp=48549109714&partnerID=8YFLogxK

U2 - 10.1016/0168-0072(84)90035-6

DO - 10.1016/0168-0072(84)90035-6

M3 - Article

AN - SCOPUS:48549109714

SN - 0168-0072

VL - 27

SP - 63

EP - 107

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1

ER -