Principles of Intuitionism

Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

von Anne S. Troelstra

116 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Mathematics
• Themen: Mathematik und Naturwissenschaften Mathematik
• ISBN: 9783540046141
• Sprache: Englisch
• Erscheinungsdatum: 01.01.1969
• Größe: 235 x 155 mm
• Verlag: Springer