Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D. van Dalen & A.S. Troelstra (1970), Projections of lawless sequences, in Kino Myhill and Vesley (eds.), Intuitionism and Proof Theory (North Holland, Amsterdam).
M. Fourman (1982), Notions of choice sequence, in van Dalen and Troelstra (eds.) Proceedings of the Brouwer Centenary Conference (North Holland, Amsterdam).
G.F. van der Hoeven (1982), Projections of Lawless Sequences, Mathematical Centre Tracts 152 (Mathematisch Centrum, Amsterdam).
G.F. van der Hoeven & I. Moerdijk (to appear), Sheaf models for choice sequences, to appear in Ann.Math.Logic.
G.F. van der Hoeven & I. Moerdijk (to appear 2), On choice sequences determined by spreads, to appear in Journ.Symb.Logic.
G.F. van der Hoeven & A.S. Troelstra (1980), Projections of lawless sequences II, in Boffa, van Dalen, Mc Aloon (eds.), Logic colloquium 78 (North Holland, Amsterdam).
G. Kreisel (1968), Lawless sequences of natural numbers, Comp.Math. 20.
G. Kreisel & A.S. Troelstra (1970), Formal systems for some branches of intuitionistic analysis, Ann.Math.Logic 1.
A.S. Troelstra (1977), Choice Sequences (Clarendon Press, Oxford).
A.S. Troelstra (1983), Analysing choice sequences, Journ.Phil.Logic 12.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag
About this paper
Cite this paper
van der Hoeven, G.F., Moerdijk, I. (1984). Constructing choice sequences from lawless sequences of neighbourhood functions. In: Müller, G.H., Richter, M.M. (eds) Models and Sets. Lecture Notes in Mathematics, vol 1103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099388
Download citation
DOI: https://doi.org/10.1007/BFb0099388
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13900-3
Online ISBN: 978-3-540-39115-9
eBook Packages: Springer Book Archive