The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

Content: Edited by Page iii Copyright page Page iv Preface Pages v-vi The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles Original Research Article Pages 1-40 Peter Aczel Recent Progress in Constructive Approximation Theory Original Research Article Pages 41-50 Douglas S. Bridges Formulas of One Propositional Variable in Intuitionistic Arithmetic Original Research Article Pages 51-64 Dick H.J. de Jongh Continuous Sums of Squares of Forms Original Research Article Pages 65-75 Charles N. Delzell Monotone Inductive Definitions Original Research Article Pages 77-89 Solomon Feferman Notions of Choice Sequence Original Research Article Pages 91-105 Michael P. Fourman Formal Spaces Original Research Article Pages 107-122 M.P. Fourman, R.J. Grayson Constructive Hovels for Set Theory with Extensionalitv Original Research Article Pages 123-147 Lev Goondeev A Note on Bar Induction Rule Original Research Article Pages 149-163 Susutnu Hayashi The Effective Topos Original Research Article Pages 165-216 J.M.E. Hyland Constructive Logic Versus Algebraization I Original Research Article Pages 217-260 G. Kreisel, A. MacIntyre Some Extensions of Markov's Constructive Continuum and Their Applications to the Theory of Constructive Functions Original Research Article Pages 261-273 B.A. Kusner Two Sheaf Representations of Elementary Toposes. Original Research Article Pages 275-295 J. Lambek, I. Moerdijk Lawlessness and Independence Original Research Article Pages 297-309 D. van Valen, J.S. Lodder Creative Subject and Bar Theorem Original Research Article Pages 311-318 Enrico Martino The Introduction of Non-Recursive Methods into Mathematics Original Research Article Pages 319-335 George Metakides, Anil Nerode Algebraic Number Theory, A Survey Original Research Article Pages 337-358 Ray Mines Glueing Topoi and Higher Order Disjunction and Existence Original Research Article Pages 359-375 Ieke Moerdijk Smooth Functors and Synthetic Calculus Original Research Article Pages 377-395 Ngo van Quê, Gonzalo E. Reyes Finite Dimensional Algebras Over Discrete Fields Original Research Article Pages 397-411 Fred Richman Primality and Invertibility of Polynomials Original Research Article Pages 413-434 Wim Ruitenburg Independence of the Fan theorem in the Presence of Continuity Principles Original Research Article Pages 435-442 Andrej Scedrov A Note on the Friedman Slash and Freyd Covers Original Research Article Pages 443-452 Andrej Scedrov, Philip J. Scott Complexity of Normalization in the Pure Typed Lambda – Calculus Original Research Article Pages 453-457 Helmat Schwichtenberg Nonstandard Models and Constructivity Original Research Article Pages 459-464 C. Smoryński On the Origin and Development of Brouwer's Concept of Choice Sequence Original Research Article Pages 465-486 A.S. Troelstra An Application of Projections of Lawless Sequences Original Research Article Pages 487-503 Gerrit F. van der Hoeven L.E.J. Brouwer, The Signific Interlude Original Research Article Pages 505-512 Walter P. van Stigt On the Constructive Contrapositions of Two Axioms of Countable Choice Original Research Article Pages 513-523 Wim Veldman