References for the lectures on Constructive set Theory

Aczel(1978)

The type-theoretic interpretation of constructive set theory, in Logic Colloquium '77, eds Macyntire, Pacholski and Paris, pp.55-66.

Aczel(1982)

The type-theoretic interpretation of constructive set theory:Choice Principles, in the Brouwer Symposium, eds ...

Aczel(1986)

The type-theoretic interpretation of constructive set theory: Inductive Definitions,

Beeson(1985)

Foundations of Constructive Mathematics, Springer-Verlag, 16D165.

Bishop(1967)

Foundations of constructive analysis.

Bishop and Bridges(1985)

Constructive Analysis (thorough revised edition of the 1967 book)

Bolzano(1851)

Cantor

See the separate reference file Cantor References

van Dalen and Monna(1972)

Sets and Integration , 16B50,5

Dedekind(1872)

Stetigkeit und Irrationale Zahlen (Continuity and Irrational Numbers)

Dedekind(1857)

?

Dedekind(1877)

Theory of Algebraic Integers (English Translation with Introduction, by John Stillwell, CUP 1996) 1E325.

Dedekind(1888)

Was sind und was sollen die Zahlen (second edition 1893) (The nature and meaning of numbers)

Dedekind(1963)

Essays on the Theory of Numbers Dover, 16B387, translations of Dedekind(1872), Dedekind(1888:1893 edition), Ebbinghaus, et al.(1991)

Numbers1.E.243

Edwards(1997)

Fermat's last theorem, Springer-Verlag.

Fraenkel and Bar-Hillel(1958)

Foundations of Set Theory, North Holland, 16C150.

Galileo(1638)

?

Kronecker(1882)

Grundzuge einer Theorie der algebraischen Grossen, J. reine und angew. Math., 92, 1-122.

Kummer(1844)

De numeris complexis, qui radicibus unitatis et numeris realabus constant.in Kummer(1975), Vol 1, pp165-169.

Kummer(1975)

Collected Papers, Springer-Verlag.

Kushner(1984)

Lectures on Constructive Mathematical Analysis (American Mathematical Society Translation of Russian 1973 book) 16D248.

Manheim(1964)

The genesis of point set topology, 16.B.295

Meray(1869)

Remarques sur la nature des quantites definies par la condition de servir de limites a des variables donnees The first publication of a definition of the real numbers. (?)

Peano(1888)

Troelstra and van Dalen(1988)

Constructivism in Mathematics, volume I, 16D210

Weyl(1917)

Das Kontinuum, (reprinted 1932)

Weyl(1994)

The Continuum, Dover, 16B386, translation of Weyl(1917)

Zermelo(1904)

Neuer Beweis fur die Moglichkeit einer Wohlordnung??

Zermelo(1908)

Untersuchungen uber die Grundlagen der Mengenlehre, Math. Ann. 65

Draft. Last Revised: 6th May, 1998.