26 found
Order:
  1.  24
    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.
  2.  20
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  23
    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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  13
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  12
    A Simplification of Takeuti's Ordinal Diagrams of Finite Order.Hilbert Levitz - 1969 - Mathematical Logic Quarterly 15 (7‐12):141-154.
  6.  12
    A Macro Program for the Primitive Recursive Functions.Hilbert Levitz, Warren Nichols & Robert F. Smith - 1991 - Mathematical Logic Quarterly 37 (8):121-124.
  7.  23
    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.
  8.  6
    A Natural Variant of Ackermann's Function.Hilbert Levitz & Warren Nichols - 1988 - Mathematical Logic Quarterly 34 (5):399-401.
  9.  26
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  17
    An Ordered Set of Arithmetic Functions Representing the Least Ε‐Number.Hilbert Levitz - 1975 - Mathematical Logic Quarterly 21 (1):115-120.
  11.  9
    Decidability of Some Problems Pertaining to Base 2 Exponential Diophantine Equations.Hilbert Levitz - 1985 - Mathematical Logic Quarterly 31 (7‐8):109-115.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  21
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  1
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  19
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  7
    Harvey Gerber. An Extension of Schütte´s Klammer-Symbols. Mathematische Annalen, Vol. 174 , Pp. 203–216.Hilbert Levitz - 1969 - Journal of Symbolic Logic 34 (4):655.
  16.  20
    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.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  24
    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.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  14
    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  
  19.  6
    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.
  20.  8
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  6
    Review: Akiko Kino, On Ordinal Diagrams. [REVIEW]Hilbert Levitz - 1972 - Journal of Symbolic Logic 37 (1):192-192.
  22.  5
    Review: Harvey Gerber, An Extension of Schutte's Klammer-Symbols. [REVIEW]Hilbert Levitz - 1969 - Journal of Symbolic Logic 34 (4):655-655.
  23.  8
    Review: Helmut Pfeiffer, Ein Bezeichnungssystem fur Ordinalzahlen. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-342.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  3
    Review: Helmut Pfeiffer, Vergleich zweier Bezeichnungssysteme fur Ordinalzaklen. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-343.
    Direct download (2 more)  
    Translate
     
     
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark