Keywords
- Natural Number
- Intuitionistic Logic
- Kripke Model
- Proof Theory
- Choice Sequence
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, access via your 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.
References
P.H.G. Aczel 1968 Satured intuitionistic theories, in Contributions to mathematical logic, ed. Schmidt, Schütte, Thiele, Amsterdam, p. 1–11.
Ashwinikumar 1966 Hilbert spaces in intuitionism. Ph.D. Thesis, Amsterdam.
1969 Über katalogisierte Räume, Comp.Math. 21, p.431–456.
E.W.Beth 1952 The Foundations of mathematics. Amsterdam.
L.E.J.Brouwer 1908 De onbetrouwbaarheid der logische principes (The untrustworthyness of the logical principles), Tijdschrift voor Wijsbegeerte, p.152–158.
1918 Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten, I. Proc.Akad.Amsterdam 12, p.3–43.
1919 Begründung der Mengenlehre unabhängig vom logisc hen Satz vom ausgeschlossenen Dritten, II. Verhandelingen Akad. Amsterdam 12, p.3–33.
1920 Besitzt jede reelle Zahl eine Dezimalbruchentwicklung? Proc.Akad.Amsterdam 23, p.955–965.
1924 Zur Begründung der intuitionistischen Mathematik, I. Math.Ann. 93, p.244–258.
1924 Beweiss dasz jede volle Funktion gleichmässig stetig ist. Proc.Akad.Amsterdam 27, p.89–194.
1948 Consciousness philosophy and mathematics, Proc.Xth intern. Congress Phil. Amsterdam, p.1235–1249.
1954 Points and Spaces, Can.J.Math. 6, p.1–17.
D. van Dalen, C.E. Gordon 1971 Independence problems in subsystems of intuitionistic arithmetic. Indag.Math. 33, p.448–456.
D. van Dalen, A.S. Troelstra, 1970 Projections of lawless sequences, in Intuitionism and Proof Theory, ed. Kino, Myhill, Vesley. Amsterdam, p.163–186.
J.E. Fenstad 1971 (ed). Proceedings of the Second Scandinavian Logic Symposium, Oslo. Amsterdam.
M.C.Fitting 1969 Intuitionistic Logic Model Theory and Forcing. Amsterdam.
H. Freudenthal 1936 Zum intuitionistischen Raumbegriff. Comp.Math. 4, p.82–111.
A.O.Gelfond Transcendental and Algebraic numbers. Dover Publications.
N.D.Goodman 1968 Intuitionistic arithmetic as a theory of constructions. Ph.D.Thesis Stanford.
1970 A theory of constructions equivalent to arithmetic, in Intuitionism and Proof Theory, ed. Kino, Myhill, Vesley, Amsterdam, p.101–120.
A. Grzegorczyk 1964 A philosophically plausible formal interpretation of intuitionistic logic, Indag.Math. 26, p.596–601
1964A Recursive objects in all finite types. Fund.Math. 54, p.73–93.
R. Harrop 1956 On disjunctions and existential statements in intuitionistic systems of logic. Math.Ann. 132, p.347–361.
J.van Heyenoort 1967 From Frege to Gödel, Cambridge, Mass.
A. Heyting 1930 Die formale Regeln der intuitionistischen Logik. Sitzungsber.preuss.Akad.Wiss. Berlin, p.42–56.
1930A Die formale Regeln der intuitionistischen Mathematik. Sitzungsber.preuss.Akad.Wiss. Berlin, p.57–71.
1931 Die intuitionistische Grundlegung der Mathematik, Erkenntnis, 2. p.106–115.
1953 Inleiding tot de Intuitionistische Wiskunde (mimeographed), with cooperation of J.J.de Iongh, Amsterdam.
1955 Les fondements des mathématiques. Intuitionisme. Théorie de la démonstration, Paris, Louvain.
1956 Intuitionism, An introduction. Amsterdam.
W.A. Howard, G. Kreisel 1966 Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis. J.S.L. 31, p.325–358.
S. Jaśkowski 1936 Recherches sur le système de la logique intuitioniste. Actes du Congrès Intern Phil.Sc.VI Phil math. Paris,p.58–61.
D.H.J.de Jongh A A characterization of the intuitionistic propositional calculus, to appear.
S.C.Kleene 1952 Introduction to Metamathematics, Amsterdam-New York.
1959 Countable Functionals, in Constructivity in Mathematics (ed.A.Heyting), p.81–100.
1959A Recursive Functionals and Quantifiers of Finite Types, I, Trans.Am.Math.Soc. 91, p.1–52.
1962 Disjunction and existence under implication in elementary intuitionistic formalisms. J.S.L., 27, p.11–18.
S.C.Kleene, R.E.Vesley 1965 The foundations of intuitionistic mathematics. Amsterdam.
A. Kolmogoroff 1932 Zur Deutung der intuitionistischen Logik. Math.Zeitschrift 35, p.58–65.
G. Kreisel 1958 A remark on free choice sequences and the topological completeness proofs. J.S.L. 23, p.369–388.
1958A Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. J.S.L.23
1959 Interpretation of Analysis by means of constructive functionals of finite type, in Constructivity in Mathematics (ed.A.Heyting) Amsterdam, p.101–128.
1962 On weak completeness of intuitionistic predicate logic. J.S.L. 27, p.139–158.
1962A Foundations of intuitionistic logic, in Logic, methodology and philosophy of science. Stanford, p.198–210.
1963 Stanford report on the foundations of mathematics (mimeographed), Stanford.
1965 Mathematical Logic, in Lectures on modern mathematics, p.95–195, ed. T.L.Saaty.
1968 Lawless sequences of natural numbers, Comp.Math. 20, p.222–248.
1970 Church's thesis: a kind of reducibility axiom of constructive matheamtics, in Intuitionism and Proof Theory ed. Kino, Myhill, Vesley. Amsterdam, p.121–150.
1971 A survey of proof theory II in [Fenstad, 71].
G.Kreisel, M.H.A.Newman 1970 L.E.J.Brouwer, Biographical Memoir, Royal Society
G. Kreisel, A.S. Troelstra 1970 Formal systems for some branches of intuitionistic analysis. Annals of math.logic 1, p.229–387.
S.Kripke 1965 Semantic analysis of intuitionistic logic I, in Formal systems and recursive functions. ed.Crossley and Dummett. Amsterdam, p.92–130.
H. Läuchli 1970 An abstract notion of realizability for which intuitionistic predicate calculus is complete, in Intuitionism and Proof Theory, ed. Kino, Myhill, Vesley, Amsterdam, p.227–234.
P.Martin-Löf 1971 Hauptsatz for the intuitionistic theory of iterated inductive definitions, in [Fenstad, 71].
1971A Hauptsatz for the intuitionistic theory of species, in [Fenstad, 71].
J. Myhill 1967 Notes toward a formalization of intuitionistic analysis. Logique et Analyse 35, p.280–297.
H.Osswald A Homomorphie-invariante Formeln in der Kripke-Semantik (forthcoming).
B Unterstruktur-invariante Formeln in der Kripke-Semantik (forthcoming).
D.Prawitz 1965 Natural Deduction. Stockholm.
1971 Ideas and results in proof theory, in [Fenstad, 71].
D. Prawitz, P.E. Malmnäs 1968 A survey of some connections between classical, intuitionistic and minimal logic, in Contributions to mathematical logic, ed. Schmidt, Schütte, Thiele. Amsterdam, p.215–228.
H.Rasiowa, R.Sikorski 1963 The mathematics of metamathematics, Warsaw.
H.Rogers, Jr. 1967 Theory of recursive functions and effective computability. New York.
G.F. Rose 1953 Propositional calculus and realizability. Trans.Am.Math.Soc. 75, p.1–19.
K.Schütte 1968 Vollständige Systeme modaler und intuitionistischer Logik. Berlin.
D.Scott 1960 Completeness proofs for the intuitionistic sentential calculus, in Summaries of talks presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University Princeton, N.J.
J.R.Shoenfield 1967 Mathematic Logic. Reading, Mass.
C.S.Smorynski 1970 Three papers on Intuitionistic Arithmetic. Stanford Studies in Logic, no.2
C.Spector 1962 Provably recursive functionals of analysis; a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics, in Recursive function theory. Proc.Symp.Pure Mathematics, p.1–27.
W.P.van Stigt 1971 Brouwer's Intuitionism; a reappraisal of Brouwer's contribution to the study of the foundations of mathematics. Ph.D. Thesis. London.
M.E.Szabo 1969 The collected Papers of Gerhard Gentzen, Amsterdam.
W.W. Tait 1967 Intensional interpretations of functionals of finite type I. J.S.L. 32, p.198–212.
R.H. Thomason 1968 On the strong semantical completeness of the intuitionistic predicate calculus. J.S.L. 33, p.1–7.
A.S.Troelstra 1966 Intuitionistic general topology, Ph.D.Thesis, Amsterdam.
1967 Finite and infinite in intuitionistic mathematics. Comp. Math. 18, p.94–116.
1968 The theory of choice sequences, in Logic, Methodology and Phil. Science III, ed. van Rootselaar, Staal. Amsterdam, p.201–226.
1969 Informal theory of choice sequences. Studia logica 15, p.31–52.
1969A Principles of Intuitionism. Lecture Notes in Mathematics 95, Berlin.
1969B Notes on the intuitionistic theory of sequences (I). Indag.Math. 31, p.430–440.
1970 Ibid.. Indag.Math. 32, p.245–252
1971 Notions of realizability for intuitionistic arithmetic in all finite types, in [Fenstad, 71].
1971A Computability of terms and notions of realizability for intuitionstic analysis. Report 71-02, Dept. of Math. University of Amsterdam.
1971B An addendum. Annals of Math.Logic, 3.
A.S.Yessenin-Volpin 1959 Le programme ultra-intuitioniste des fondements des mathématiques, in Infinistic Methods, Warsaw, p.201–223.
1970 The ultra-intuitionistic criticism and the anti-traditional program for foundations of mathematics, in Intuitionism and Proof theory, p.3–46 ed.Kino, Myhill, Vesley.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1973 Springer-Verlag
About this paper
Cite this paper
van Dalen, D. (1973). Lectures on intuitionism. In: Mathias, A.R.D., Rogers, H. (eds) Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics, vol 337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0066771
Download citation
DOI: https://doi.org/10.1007/BFb0066771
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05569-3
Online ISBN: 978-3-540-36884-7
eBook Packages: Springer Book Archive
