L.E.J.Brouwer Centenary Symposium Proceedings

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