The L.E.J. Brouwer Centenary Symposium: Proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 (Studies in logic and the foundations of mathematics)

Edited by Copyright page Preface The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles Recent Progress in Constructive Approximation Theory Formulas of One Propositional Variable in Intuitionistic Arithmetic Continuous SDKS of Squares of Forms Monotone Inductive Definitions Notions of Choice Sequence Formal Spaces Constructive Hovels for Set Theory with Extensionalitv A Note on Bar Induction Rule The Effective Topos Constructive Logic Versus Algebraization I Some Extensions of Markov's Constructive Continuum and Their Applications to the Theory of Constructive Functions Two Sheaf Representations of Elementary Toposes. Lawlessness and Independence Creative Subject and Bar Theorem The Introduction of Non-Recursive Methods into Mathematics Algebraic Number Theory, A Survey Glueing Topoi and Higher Order Disjunction and Existence Smooth Functors and Synthetic Calculus Finite Dimensional Algebras Over Discrete Fields Primality and Invertibility of Polynomials Independence of the Fan theorem in the Presence of Continuity Principles A Note on the Friedman Slash and Freyd Covers Complexity of Normalization in the Pure Typed Lambda – Calculus Nonstandard Models and Constructivity On the Origin and Development of Brouwer's Concept of Choice Sequence An Application of Projections of Lawless Sequences L.E.J. Brouwer, The Signific Interlude On the Constructive Contrapositions of Two Axioms of Countable Choice