An Intuitionistic Theory of Types: Predicative Part

&
Journal of Symbolic Logic 49 (1):311-313 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274116

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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

Review: Per Martin-Lof, H. E. Rose, J. C. Shepherdson, An Intuitionistic Theory of Types: Predicative Part. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
Russell's theory of descriptions vs. the predicative analysis: A reply to Graff.Berit Brogaard - unknown
Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.
Inductive types and exact completion.Benno van den Berg - 2005 - Annals of Pure and Applied Logic 134 (2-3):95-121.
An Intuitionistic Version of Cantor's Theorem.Dario Maguolo & Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):446-448.
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
Intersection Type Systems and Logics Related to the Meyer–Routley System B+.Martin Bunder - 2003 - Australasian Journal of Logic 1:43-55.
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
Algebraic Models of Intuitionistic Theories of Sets and Classes.Steve Awodey & Henrik Forssell - unknown
Inaccessibility in constructive set theory and type theory.Michael Rathjen, Edward R. Griffor & Erik Palmgren - 1998 - Annals of Pure and Applied Logic 94 (1-3):181-200.
Topological inductive definitions.Giovanni Curi - 2012 - Annals of Pure and Applied Logic 163 (11):1471-1483.
Type theories, toposes and constructive set theory: predicative aspects of AST.Ieke Moerdijk & Erik Palmgren - 2002 - Annals of Pure and Applied Logic 114 (1-3):155-201.

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,252,744)

6 months
4 (#787,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references