Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
BARWISE, J. Infinitary logic and admissible sets, J. Symb. Logic 34, 1969, 226–252.
BISHOP, E. Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
Mathematics as a Numerical Language, in Intuitionism and proof theory (eds. Kino, Myhill, Vesley), North-Holland, Amsterdam, 1970.
BISHOP, E. and H. CHANG Constructive measure theory, Memoirs A.M.S. no. 116, 1972.
BOREL, E. (et al) Cinq lettres sur la théorie des ensembles, repr. in Leçons sur la théorie des fonctions, 2nd ed., Gauthier-Villars, Paris, 1914, 150–160.
CLEAVE, J.P. The theory of hyperarithmetic and π 11 -models, in Proc. Summer School in Logic, Lecture Notes in Maths. 70, Springer, Berlin, 1968, 223–240.
COCCHIARELLA, N.B. Formal ontology and the foundations of mathematics, in the Philosophy of Bertrand Russell: A Centenary Tribute (ed. Nakhnikian), to appear.
CROSSLEY, J.N. Constructive Order Types, North-Holland, Amsterdam, 1969.
CUTLAND, N. π 11 -models and π 11 -categoricity, in Conf. in Math. Logic, London '70, Lecture Notes in Maths. 255, Springer, Berlin, 1972, 42–61.
DEKKER, J.C.E. and J. MYHILL Recursive Equivalence Types, U. Calif. Publs. in Maths. 3, 1960, 67–214.
ERSHOV, Yu.L. Numbered fields, in Logic, Methodology and Philosophy of Science III (eds. van Rootselaar, Staal), North-Holland, Amsterdam, 1968.
FEFERMAN, S. Systems of predicative analysis, J. Symb. Logic 29, 1964, 1–30.
Autonomous transfinite progressions and the extent of predicative mathematics, in Logic, Methodology and Philosophy of Science III, North-Holland, Amsterdam, 1968.
Ordinals and functionals in proof theory, in Proc. Int. Cong. Maths. Nice, 1970, V.1, 229–233.
Some formal systems for the unlimited theory of structures and categories, unpublished Ms.
FRIEDMAN, H. Axiomatic recursive function theory, in Logic Colloquium '69 (eds. Gandy, Yates), North-Holland, Amsterdam, 1971, 113–137.
GILMORE, P.C. Attributes, sets, partial sets and identity, Compos. Math. 20, 1960, 53–79.
GIRARD, J.-Y. Une extension de l'interpretation de Gödel à l'analyse, et son application a l'élimination des coupures dans l'analyse et la théorie des types, in Proc. 2nd Scand. Logic Sympos. (ed. Fendstadt), North-Holland, Amsterdam, 1971, 63–92.
GÖDEL, K. Über eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica 12, 1958, 280–287.
GOODMAN, N. and J. MYHILL The formalization of Bishop's constructive mathematics, in Toposes, algebraic geometry and logic, Lecture Notes in Maths. 274, Springer, Berlin, 1972, 83–96.
HEYTING, A. Intuitionism, an introduction, (3rd rev. edn.), North-Holland, Amsterdam, 1972.
HOWARD, W.A. A system of abstract constructive ordinals, J. Symb. Logic 37, 1972, 355–374.
KLEENE, S.C. Introduction to metamathematics, Van Nostrand, New York, 1952.
Recursive functionals and quantifiers of finite types I, Trans. A.M.S. 91, 1959, 1–52.
KREISEL, G. Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy, Bull. Pol Acad. Sci. 7, 1959, 621–626.
Mathematical logic, in Lectures in Modern Mathematics, III, (ed. Saaty), Wiley, New York, 1965, 95–195.
Principles of proof and ordinals implicit in given concepts, in Intuitionism and proof theory, North-Holland, Amsterdam, 1970.
Some reasons for generalizing recursion theory, in Logic Colloquium '69 (eds. Gandy, Yates), North-Holland, Amsterdam, 1971, 139–198.
KREISEL, G. From proof theory to a theory of proofs, 1974 AAAS Symp., to appear.
KREISEL, G. and A.S. TROELSTRA Formal systems for some branches of intuitionistic analysis, Annals Math. Logic 1, 1970, 229–387.
LACOMBE, D. Quelques procédés de définition en topologie récursive, in Constructivity in Mathematics (ed. Heyting), North-Holland, Amsterdam, 1959, 129–158.
LARSON, A. A case study of predicative mathematics: uniform spaces, completions and algebraic number theory. Dissertation, Stanford University, 1969.
LORENZEN, P. Differential and Integral: Eine konstruktive Einführing in die klassische analysis, Akad. Verlag, Frankfurt, 1965.
MAL'CEV, A.I. The metamathematics of algebraic systems; collected papers: 1936–1967, (transl., ed. Wells), North-Holland, Amsterdam, 1971, Chps. 18, 22, 24.
MARTIN-LÖF, P. An intuitionistic theory of types.
MOSCHOVAKIS, Y.N. Abstract first order computability, I, Trans. A.M.S. 138, 1969, 427–464.
RABIN, M. Computable algebra; general theory and theory of commutative fields, Trans. A.M.S. 95, 1962, 341–360.
SANIN, N.A. Constructive real numbers and function spaces, 21, Translations of Mathematical Monographs, A.M.S., Providence, 1968.
SCOTT, D. Constructive validity, in Symposium on Automatic Demonstration, Lecture Notes in Maths. 125, Springer, Berlin, 1970, 237–275.
SPECKER, E. Der Satz vom Maximum in der rekursiven Analysis, in Constructivity in Mathematics, (ed. Heyting), North-Holland, Amsterdam, 1959, 254–265.
TAIT, W.W. Infinitely long terms of transfinite type, in Formal Systems and Recursive Functions, (eds. Crossley, Dummett), North-Holland, Amsterdam, 1965, 176–185.
Constructive reasoning, in Logic, Methodology and Philosophy of Science III (eds. van Rootselaar, Staal), North-Holland, Amsterdam, 1968.
TROELSTRA, A.S. Principles of intuitionism, Lecture Notes in Maths. 95, Springer, Berlin, 1969.
Metamathematical investigation of intuitionistic arithmetic and analysis, Lecture Notes in Maths. 344, Springer, Berlin, 1973.
TSEYTIN, G.D., I.D. ZASLAVSKY and N.A. SHANIN Peculiarities of constructive mathematical analysis, in Proc. Int. Cong. Maths., Moscow, 1966, 253–261.
ZUCKER, J.I. Iterated inductive definitions, trees and ordinals, in (Troelstra [73]), Ch. VI, 392–453.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Feferman, S. (1975). A language and axioms for explicit mathematics. In: Crossley, J.N. (eds) Algebra and Logic. Lecture Notes in Mathematics, vol 450. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0062852
Download citation
DOI: https://doi.org/10.1007/BFb0062852
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07152-5
Online ISBN: 978-3-540-37480-0
eBook Packages: Springer Book Archive