Two Impredicative Theories of Properties and Sets

Mathematical Logic Quarterly 34 (5):403-420 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340505

Other Versions

reprint Cantini, Andrea (1988) "Two Impredicative Theories of Properties and Sets". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34(5):403-420

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics ; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
Some Properties of Recursively Inseparable Sets.J. P. Cleave - 1970 - Mathematical Logic Quarterly 16 (2):187-200.
Cantini Andrea. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp. [REVIEW]Thomas Strahm - 1998 - Journal of Symbolic Logic 63 (1):328-329.
Extending constructive operational set theory by impredicative principles.Andrea Cantini - 2011 - Mathematical Logic Quarterly 57 (3):299-322.
Two Remarks on Indecomposable Number Sets.T. G. McLaughlin - 1966 - Mathematical Logic Quarterly 12 (1):187-190.

Analytics

Added to PP
2013-12-01

Downloads
38 (#601,350)

6 months
5 (#1,080,408)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

No citations found.

Add more citations

References found in this work

The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1984 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Fundamentals of Generalized Recursion Theory.Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (4):1078-1079.

Add more references