Buch, Englisch, Band 95, 116 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 189 g
Reihe: Lecture Notes in Mathematics
Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
Buch, Englisch, Band 95, 116 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 189 g
Reihe: Lecture Notes in Mathematics
ISBN: 978-3-540-04614-1
Verlag: Springer Berlin Heidelberg
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Logic.- Elementary arithmetic.- Species.- Sequences and constructive (lawlike) objects.- Elementary theory of real numbers.- Ordering relations and order on the real line.- Constructive or lawlike analysis.- Lawless sequences of natural numbers.- Choice sequences.- Spreads and a theory of real numbers.- Topology; separable metric spaces.- Applications of the continuity principles and the fan theorem.- Well-orderings and ordinals.- Species revisited; the role of the comprehension principle.- Brouwer's theory of the creative subject.