The items of an array are again arrays. The treatment of ordinal numbers and letters is similar to Quine's treatment of individuals in set theory. The theory is developed first as a theory of lists.

Elementary set theory and solution sets of systems of linear equations. An introduction to proofs and the axiomatic methods through a study of the vector space axioms. Linear analytic geometry. Linear ...

My work has touched on a number of areas in set theory including forcing, large cardinals, Ramsey theory and PCF theory. Recent research topics have included the structure theory of linear orderings ...