Abstract
i. Proofless text is based on a variant of ZFC with free logic. Here variables always denote, but not all terms denote. If a term denotes, then all subterms must denote. The sets are all in the usual extensional cumulative hierarchy of sets. There are no urelements.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,343
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

A Language for Mathematical Knowledge Management.Steven Kieffer, Jeremy Avigad & Harvey Friedman - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).

Add more citations

Similar books and articles

Σ12-Sets of Reals.Jaime I. Ihoda - 1988 - Journal of Symbolic Logic 53 (2):636 - 642.
A Proofless Proof of the Barwise Compactness Theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
A Sense of Duty.Simcha Kling - 1968 - [Washington, B'nai B'rith Adult Jewish Education.
The Iterative Conception of Set.Thomas Forster - 2008 - Review of Symbolic Logic 1 (1):97-110.
A System of Relational Syllogistic Incorporating Full Boolean Reasoning.Nikolay Ivanov & Dimiter Vakarelov - 2012 - Journal of Logic, Language and Information 21 (4):433-459.
On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.
Martin Heidegger, Basic Concepts of Aristotelian Philosophy. [REVIEW]Shawn Loht - 2010 - Journal of the History of Philosophy 48 (3):405-406.

Analytics

Added to PP index
2010-12-22

Total views
22 ( #490,802 of 2,445,384 )

Recent downloads (6 months)
1 ( #457,131 of 2,445,384 )

How can I increase my downloads?

Downloads

My notes