The Interpretation of Set Theory in Mathematical Predication Theory

Abstract

This paper was referred to in the Introduction in our paper [Fr97a], “The Axiomatization of Set Theory by Separation, Reducibility, and Comprehension.” In [Fr97a], all systems considered used the axiom of Extensionality. This is appropriate in a set theoretic context.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The interpretation of set theory in pure predication theory.Harvey Friedman - manuscript
Axiomatization of set theory by extensionality, separation, and reducibility.Harvey Friedman - manuscript
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
A Philosophical Interpretation of Rough Set Theory.Chang Kyun Park - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:23-29.
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.Arnon Avron - unknown
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
The origins of zermelo's axiomatization of set theory.Gregory H. Moore - 1978 - Journal of Philosophical Logic 7 (1):307 - 329.
V = L and intuitive plausibility in set theory. A case study.Tatiana Arrigoni - 2011 - Bulletin of Symbolic Logic 17 (3):337-360.
A complete theory of everything: Satisfiability in the universal domain Harvey M. Friedman october 10, 1999 [email protected]. [REVIEW]Harvey Friedman - manuscript
A language for mathematical knowledge management.Jeremy Avigad, Steven Kieffer & Harvey Friedman - manuscript
A Language for Mathematical Knowledge Management.Steven Kieffer, Jeremy Avigad & Harvey Friedman - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory.Wolfgang Burr - 2002 - Synthese 133 (1-2):257 - 274.
Set Theory and its Philosophy: A Critical Introduction.Michael D. Potter - 2004 - Oxford, England: Oxford University Press.
A complete theory of everything: Satisfiability in the universal domain.Harvey M. Friedman - unknown

Analytics

Added to PP
2010-12-22

Downloads
14 (#968,362)

6 months
1 (#1,516,429)

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

No references found.

Add more references