The Theory of Choice Sequences

Publisher Website

1 January 1968

book chapter
Published by Elsevier

p. 201-223
https://doi.org/10.1016/s0049-237x(08)71196-0

Abstract

No abstract available

This publication has 7 references indexed in Scilit:

Formal Systems of Intuitionistic Analysis I
Published by Elsevier ,1968
Functions, Ordinals, Species
Published by Elsevier ,1968
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
The Journal of Symbolic Logic, 1966
A remark on free choice sequences and the topological completeness proofs
The Journal of Symbolic Logic, 1958
Points and Spaces
Canadian Journal of Mathematics, 1954
ber Definitionsbereiche von- Funktionen
Mathematische Annalen, 1927
Zur Begr ndung der intuitionistischen Mathematik. I.
Mathematische Annalen, 1925