Interpreting set theory in ordinary thinking: Concept calculus

Abstract

STARTLING OBSERVATION. Any two natural theories S,T, known to interpret EFA, are known (with small numbers of exceptions) to have: S is interpretable in T or T is interpretable in S. The exceptions are believed to also have comparability.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

Interpreting Set Theory in Discrete Mathematics: Boolean Relation Theory.Harvey Friedman - manuscript
Concept calculus.Harvey Friedman - manuscript
A theory of ordinary proper names.M. D'Cruz - 2000 - Mind 109 (436):721-756.
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.
A systems theoretical formal logic for category theory.Carlos Pedro dos Santos Gonçalves & Maria Odete Madeira - unknown
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.Arnon Avron - unknown
Countable model theory and large cardinals.Harvey Friedman - manuscript
Storage operators and directed lambda-calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
Concept calculus: Much better than.Harvey M. Friedman - unknown

Analytics

Added to PP
2009-01-28

Downloads
228 (#89,349)

6 months
9 (#317,143)

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