In 1892, Eliakim Hastings Moore accepted the task of building a mathematics department at the University of Chicago. Working in close conjuction with the other original department members, Oskar Bolza and Heinrich Maschke, Moore established a stimulating mathematical environment not only at the University of Chicago, but also in the Midwest region and in the United States in general. In 1893, he helped organize an international congress of mathematicians. He followed this in 1896 with the organization of the Midwest Section (...) of the New York City-based American Mathematical Society. He became the first editor-in-chief of the Society's Transactions in 1899, and rose to the presidency of the Society in 1901. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)