Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation

It is possible to represent a finite set of points (atoms) by a finite sequence of points. However a finite set of points has no distinguished member and therefore it is impossible to define a function which takes a finite set of points and returns a "first" point in that set. Thus i...

Description complète

Détails bibliographiques
Auteur principal: McAllester, David Allen
Langue:en_US
Publié: 2004
Accès en ligne:http://hdl.handle.net/1721.1/6381