Heyting (ED) Intuitionism: An Introduction, entry directory

 

by Corry Shores

 

[Search Blog Here. Index-tags are found on the bottom of the left column.]

 

[Central Entry Directory]

[Mathematics, Calculus, Geometry, Entry Directory]

[Logic and Semantics, entry directory]

[Heyting, entry directory]

 

[The collected brief summaries can be found at that link.]

 

 

 

 

 

Entry Directory for

 

Arend Heyting

 

Intuitionism: An Introduction

 

2.

Arithmetic

 

2.2

“Real Number Generators”

 

2.2.1

Definition; Relation of Coexistence

 

2.2.2

Inequality Relation Between Number-Generators

 

2.2.2.1,2,9,10

[Selections on inequality and negation]

 

2.2.3

Apartness-Relation Between Number-Generators

 

2.2.3.1

[Definition of Apartness of Number-Generators]

 

 

 

 

 

 

 

Heyting, Arend. Intuitionism. An Introduction. Amsterdam: North-Holland, 1956.

 

 

 

 

.