Switch to: References

Add citations

You must login to add citations.
  1. Addition and multiplication of sets.Laurence Kirby - 2007 - Mathematical Logic Quarterly 53 (1):52-65.
    Ordinal addition and multiplication can be extended in a natural way to all sets. I survey the structure of the sets under these operations. In particular, the natural partial ordering associated with addition of sets is shown to be a tree. This allows us to prove that any set has a unique representation as a sum of additively irreducible sets, and that the non-empty elements of any model of set theory can be partitioned into infinitely many submodels, each isomorphic to (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Ordinal Exponentiations of Sets.Laurence Kirby - 2015 - Notre Dame Journal of Formal Logic 56 (3):449-462.
    The “high school algebra” laws of exponentiation fail in the ordinal arithmetic of sets that generalizes the arithmetic of the von Neumann ordinals. The situation can be remedied by using an alternative arithmetic of sets, based on the Zermelo ordinals, where the high school laws hold. In fact the Zermelo arithmetic of sets is uniquely characterized by its satisfying the high school laws together with basic properties of addition and multiplication. We also show how in both arithmetics the behavior of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Ordinal operations on graph representations of sets.Laurence Kirby - 2013 - Mathematical Logic Quarterly 59 (1-2):19-26.
    Any set x is uniquely specified by the graph of the membership relation on the set obtained by adjoining x to the transitive closure of x. Thus any operation on sets can be looked at as an operation on these graphs. We look at the operations of ordinal arithmetic of sets in this light. This turns out to be simplest for a modified ordinal arithmetic based on the Zermelo ordinals, instead of the usual von Neumann ordinals. In this arithmetic, addition (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations