A formalization of the theory of sets from the point of view of combinatory logic

Mathematical Logic Quarterly 1 (3):198-240 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19550010304

Links

PhilArchive



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

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

The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Criteria for logical formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
Set theory based on combinatory logic.Maarten Wicher Visser Bunder - 1969 - Groningen,: V. R. B. --Offsetdrukkerij (Kleine der A 3-4).
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Constructive set theoretic models of typed combinatory logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
A hierarchy of languages, logics, and mathematical theories.Charles W. Kastner - 2003
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.
Analytic combinatory calculi and the elimination of transitivity.Pierluigi Minari - 2004 - Archive for Mathematical Logic 43 (2):159-191.
Adequate formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.

Analytics

Added to PP
2013-11-24

Downloads
9 (#1,254,017)

6 months
3 (#976,558)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.

Add more references