Author(s): A.S. Troelstra and D. van Dalen (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 110
Publisher: Elsevier Science Ltd
Year: 1982
Language: English
Pages: 1-523
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
