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...

Full description

Bibliographic Details
Main Author: McAllester, David Allen
Language:en_US
Published: 2004
Online Access:http://hdl.handle.net/1721.1/6381