Metamathematical investigation of intuitionistic arithmetic and analysis

New York,: Springer (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.47.L28 no. 344

ISBN(s)

0387064915   3540064915

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof theory and intuitionistic systems.Bruno Scarpellini - 1971 - New York,: Springer Verlag.
Troelstra A. S.. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405.C. Smorynski - 1975 - Journal of Symbolic Logic 40 (4):625-625.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
Set Theory INC# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper inductive definitions.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (4):22.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
Interpretations of Kleene's metamathematical predicate γ∣a in intuitionistic arithmetic.T. Thacher Robinson - 1965 - Journal of Symbolic Logic 30 (2):140-154.
Troelstra A. S.. Choice sequences. A chapter of intuitionistic mathematics. Oxford logic guides. Clarendon Press, Oxford 1977, ix + 170 pp. [REVIEW]Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.
A negationless interpretation of intuitionistic theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (3):323-344.
Extensional Gödel functional interpretation.Horst Luckhardt - 1973 - New York,: Springer Verlag.

Analytics

Added to PP
2009-01-28

Downloads
107 (#462,349)

6 months
23 (#462,440)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Anne Troelstra
Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.
The philosophical significance of Gödel's Dialectica interpretation.Stephen Mackereth - 2025 - Philosophy and Phenomenological Research 111 (2):423-450.
Reverse Mathematics.Benedict Eastaugh - 2024 - The Stanford Encyclopedia of Philosophy.
Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.
Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss, Handbook of proof theory. New York: Elsevier. pp. 337-405.

View all 155 citations / Add more citations

References found in this work

No references found.

Add more references