7 found
Order:
Disambiguations
Warren Nichols [6]Warren D. Nichols [1]
  1.  32
    On series of ordinals and combinatorics.James P. Jones, Hilbert Levitz & Warren D. Nichols - 1997 - Mathematical Logic Quarterly 43 (1):121-133.
    This paper deals mainly with generalizations of results in finitary combinatorics to infinite ordinals. It is well-known that for finite ordinals ∑bT<αβ is the number of 2-element subsets of an α-element set. It is shown here that for any well-ordered set of arbitrary infinite order type α, ∑bT<αβ is the ordinal of the set M of 2-element subsets, where M is ordered in some natural way. The result is then extended to evaluating the ordinal of the set of all n-element (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  16
    A Macro Program for the Primitive Recursive Functions.Hilbert Levitz, Warren Nichols & Robert F. Smith - 1991 - Mathematical Logic Quarterly 37 (8):121-124.
  3.  26
    A Macro Program for the Primitive Recursive Functions.Hilbert Levitz, Warren Nichols & Robert F. Smith - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (8):121-124.
  4.  9
    A Natural Variant of Ackermann's Function.Hilbert Levitz & Warren Nichols - 1988 - Mathematical Logic Quarterly 34 (5):399-401.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  30
    A Natural Variant of Ackermann's Function.Hilbert Levitz & Warren Nichols - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):399-401.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  3
    Eine Rekursive Universelle Funktion Für Die Primitiv‐Rekursiven Funktionen.Hilbert Levitz & Warren Nichols - 1987 - Mathematical Logic Quarterly 33 (6):527-535.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  21
    Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen.Hilbert Levitz & Warren Nichols - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):527-535.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark