HUME’S PRINCIPLE, BEGINNINGS

HUME’S PRINCIPLE, BEGINNINGS (2010)

by Albert Visser

@MISC{Visser10hume’sprinciple,,
    author = {Albert Visser},
    title = {HUME’S PRINCIPLE, BEGINNINGS},
    year = {2010}
}

Abstract. In this note we derive Robinson’s Arithmetic from Hume’s Principle in the context of very weak theories of classes and relations.

58	The first order properties of products of algebraic systems - Feferman, Vaught - 1959
32	Predicative Arithmetic - Nelson - 1986
5	An interpretation of Robinson’s Arithmetic in Grzegorczyk’s weaker variant - unknown authors
4	Fixing Frege. Princeton Monographs in Philosophy - Burgess - 2005
4	Interpretability in set theories. Unpublished letter to P. Hájek, 〈http://www.cs.cas.cz/~hajek/RSolovayZFGB.pdf - Solovay - 1976
2	Predicative Fragments of Frege Arithmetic - Linnebo
2	Cardinal arithmetic in the style of baron von Münchhausen - Visser
1	Logical Number Theory I, an Introduction. Universitext - Smoryński - 1991