Chapter: Applications of the continuity principles and the fan theorem

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY > Applications of the continuity principles and the fan theorem

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

Anne S. Troelstra

Springer Berlin Heidelberg

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

Applications of the continuity principles and the fan theorem

Chapter Info

Authors

A. S. Troelstra

ARI Id

1664231090464_852258

Access

Not Available Free

Pages

71-75

DOI

10.1007/BFb0080656

Chapter URL

https://rd.springer.com/chapter/10.1007/BFb0080656

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 18 of 18 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		I-III
Introduction	A. S. Troelstra	2-4
Logic	A. S. Troelstra	5-11
Elementary arithmetic	A. S. Troelstra	12-13
Species	A. S. Troelstra	14-16
Sequences and constructive (lawlike) objects	A. S. Troelstra	16-21
Elementary theory of real numbers	A. S. Troelstra	22-26
Ordering relations and order on the real line	A. S. Troelstra	26-28
Constructive or lawlike analysis	A. S. Troelstra	29-33
Lawless sequences of natural numbers	A. S. Troelstra	34-43
Choice sequences	A. S. Troelstra	44-56
Spreads and a theory of real numbers	A. S. Troelstra	57-64
Topology; separable metric spaces	A. S. Troelstra	64-70
Applications of the continuity principles and the fan theorem	A. S. Troelstra	71-75
Well-orderings and ordinals	A. S. Troelstra	76-90
Species revisited; the role of the comprehension principle	A. S. Troelstra	91-94
Brouwer's theory of the creative subject	A. S. Troelstra	95-107
Back Matter		108-111
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 18 of 18 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries