26 found
Order:
  1.  36
    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.  17
    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.  10
    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.  32
    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.  19
    An ordered set of arithmetic functions representing the least ε‐number.Hilbert Levitz - 1975 - Mathematical Logic Quarterly 21 (1):115-120.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  14
    A simplification of takeuti's ordinal diagrams of finite order.Hilbert Levitz - 1969 - Mathematical Logic Quarterly 15 (7‐12):141-154.
  8.  27
    A simplification of takeuti's ordinal diagrams of finite order.Hilbert Levitz - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):141-154.
  9.  14
    Calculation of an Order Type: An application of Non‐Standard Methods.Hilbert Levitz - 1982 - Mathematical Logic Quarterly 28 (14‐18):219-228.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  21
    Calculation of an Order Type: An application of Non-Standard Methods.Hilbert Levitz - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):219-228.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  10
    Decidability of some problems pertaining to base 2 exponential diophantine equations.Hilbert Levitz - 1985 - Mathematical Logic Quarterly 31 (7‐8):109-115.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  22
    Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations.Hilbert Levitz - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (7-8):109-115.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  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  
  14.  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  
  15.  13
    Harvey Gerber. An extension of Schütte´s Klammer-symbols. Mathematische Annalen, vol. 174 (1967), pp. 203–216.Hilbert Levitz - 1970 - Journal of Symbolic Logic 34 (4):655-655.
  16.  13
    Kino Akiko. On ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 13 , pp. 346–356.Hilbert Levitz - 1972 - Journal of Symbolic Logic 37 (1):192-192.
  17.  24
    Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 , pp. 74–90. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342.
  18.  30
    Helmut Pfeiffer. Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.Archiv für mathematische Logik und Grundlagenforschung, vol. 15 , pp. 41–56. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-343.
  19.  17
    I. N. Hlodovskij. Novoé dokazatél′stvo néprotivoréčivosti arifmétiki. Uspéhi matématičéskih nauk, vol. 14 no. 6 , pp. 105–140. - I. N. Hlodovskií. A new proof of the consistency of arithmetic. English translation of the preceding by Moshe Machover. American Mathematical Society translations, ser. 2 vol. 23 , pp. 191–230. [REVIEW]Hilbert Levitz - 1967 - Journal of Symbolic Logic 32 (1):127-128.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  12
    Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 , pp. 126–137, and vol. 12 , pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 , pp. 12–17. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (1):186.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  12
    Review: Akiko Kino, On Ordinal Diagrams. [REVIEW]Hilbert Levitz - 1972 - Journal of Symbolic Logic 37 (1):192-192.
  22.  11
    Review: Harvey Gerber, An Extension of Schutte's Klammer-Symbols. [REVIEW]Hilbert Levitz - 1969 - Journal of Symbolic Logic 34 (4):655-655.
  23.  10
    Review: Helmut Pfeiffer, Ein Bezeichnungssystem fur Ordinalzahlen. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-342.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  4
    Review: Helmut Pfeiffer, Vergleich zweier Bezeichnungssysteme fur Ordinalzaklen. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-343.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Review: I. N. Hlodovskii, Moshe Machover, A New Proof of the Consistency of Arithmetic. [REVIEW]Hilbert Levitz - 1967 - Journal of Symbolic Logic 32 (1):127-128.
  26.  7
    Review: Kurt Schutte, Ein Konstruktives System von Ordinalzahlen; Helmut Pfeiffer, Ein Bezeichnungssystem fur Ordinalzahlen. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (1):186-186.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark