Edit Profile (opens in new tab) Levitz, Hilbert Compute Distance To: Compute Author ID: levitz.hilbert Published as: Levitz, Hilbert; Levitz, H. Documents Indexed: 22 Publications since 1966 Co-Authors: 6 Co-Authors with 8 Joint Publications 92 Co-Co-Authors all top 5 Co-Authors 14 single-authored 5 Nichols, Warren D. 2 Jones, James P. 1 Schütte, Kurt 1 Smith, Robert F. 1 van den Dries, Lou 1 Wilkie, Alex James all top 5 Serials 9 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 4 Commentarii Mathematici Helvetici 2 Algebra Universalis 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Czechoslovak Mathematical Journal 1 International Journal of Mathematics and Mathematical Sciences 1 Transactions of the American Mathematical Society 1 L’Enseignement Mathématique. 2e Série 1 Mathematical Logic Quarterly (MLQ) all top 5 Fields 17 Mathematical logic and foundations (03-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Number theory (11-XX) 2 Real functions (26-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Field theory and polynomials (12-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 33 times in 19 Documents Cited by ▼ Year ▼ An ordinal bound for the set of polynomial functions with exponentiation. Zbl 0376.06001Levitz, Hilbert 4 1978 A simplification of Takeuti’s ordinal diagrams of finite order. Zbl 0196.01403Levitz, H. 4 1969 Decidability of some problems pertaining to base 2 exponential Diophantine equations. Zbl 0634.03007Levitz, Hilbert 3 1985 An initial segment of the set of polynomial functions with exponentiation. Zbl 0376.06002Levitz, Hilbert 3 1977 On the relationship between Takeuti’s ordinal diagrams \(O(n)\) and Schütte’s system of ordinal notations \(\Sigma(n)\). Zbl 0201.00702Levitz, Hilbert 3 1970 A characterization of Takeuti’s ordinal diagrams of finite order. Zbl 0244.02011Levitz, Hilbert; Schütte, Kurt 3 1971 An ordered set of arithmetic functions representing the least \(\varepsilon\)-number. Zbl 0325.04002Levitz, Hilbert 3 1975 Decidability of some problems pertaining to base 2 exponential diophantine equations. Zbl 0609.03002Levitz, Hilbert 2 1985 On Skolem’s exponential functions below \(2^{2^ X}\). Zbl 0556.03036van den Dries, Lou; Levitz, Hilbert 2 1984 A characterization of the Veblen-Schütte functions by means of functionals. Zbl 0272.02051Levitz, Hilbert 2 1973 Calculation of an order type: An application of non-standard methods. Zbl 0522.03057Levitz, Hilbert 1 1982 Über die Finslerschen höheren arithmetischen Operationen. Zbl 0147.25104Levitz, H. 1 1966 On the Finsler and Doner-Tarski arithmetical hierarchies. Zbl 0177.01501Levitz, H. 1 1969 The Cartesian product of sets and the Hessenberg natural product of ordinals. Zbl 0426.04002Levitz, Hilbert 1 1979 Decidability of some problems pertaining to base 2 exponential Diophantine equations. Zbl 0634.03007Levitz, Hilbert 3 1985 Decidability of some problems pertaining to base 2 exponential diophantine equations. Zbl 0609.03002Levitz, Hilbert 2 1985 On Skolem’s exponential functions below \(2^{2^ X}\). Zbl 0556.03036van den Dries, Lou; Levitz, Hilbert 2 1984 Calculation of an order type: An application of non-standard methods. Zbl 0522.03057Levitz, Hilbert 1 1982 The Cartesian product of sets and the Hessenberg natural product of ordinals. Zbl 0426.04002Levitz, Hilbert 1 1979 An ordinal bound for the set of polynomial functions with exponentiation. Zbl 0376.06001Levitz, Hilbert 4 1978 An initial segment of the set of polynomial functions with exponentiation. Zbl 0376.06002Levitz, Hilbert 3 1977 An ordered set of arithmetic functions representing the least \(\varepsilon\)-number. Zbl 0325.04002Levitz, Hilbert 3 1975 A characterization of the Veblen-Schütte functions by means of functionals. Zbl 0272.02051Levitz, Hilbert 2 1973 A characterization of Takeuti’s ordinal diagrams of finite order. Zbl 0244.02011Levitz, Hilbert; Schütte, Kurt 3 1971 On the relationship between Takeuti’s ordinal diagrams \(O(n)\) and Schütte’s system of ordinal notations \(\Sigma(n)\). Zbl 0201.00702Levitz, Hilbert 3 1970 A simplification of Takeuti’s ordinal diagrams of finite order. Zbl 0196.01403Levitz, H. 4 1969 On the Finsler and Doner-Tarski arithmetical hierarchies. Zbl 0177.01501Levitz, H. 1 1969 Über die Finslerschen höheren arithmetischen Operationen. Zbl 0147.25104Levitz, H. 1 1966 all cited Publications top 5 cited Publications all top 5 Cited by 18 Authors 5 Matiyasevich, Yuriĭ Vladimirovich 2 Levitz, Hilbert 2 Schütte, Kurt 1 Barra, Mathias 1 Berarducci, Alessandro 1 Buchholz, Wilfried 1 Crossley, John Newsome 1 Degano, Pierpaolo 1 Gerhardy, Philipp 1 Gianni, Patrizia M. 1 Kister, Jane Elizabeth 1 Kristiansen, Lars 1 Mamino, Marcello 1 Mints, Grigoriĭ Efroimovich 1 Pfeiffer, Helmut 1 Schlicht, Philipp 1 Shackell, John R. 1 Stephan, Frank all top 5 Cited in 11 Serials 4 Archiv für Mathematische Logik und Grundlagenforschung 2 Journal of Soviet Mathematics 2 The Journal of Symbolic Logic 1 Algebra Universalis 1 Mathematics and Computers in Simulation 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 RAIRO. Informatique Théorique et Applications 1 Journal of Mathematical Sciences (New York) 1 Theory of Computing Systems 1 Proceedings of the Steklov Institute of Mathematics all top 5 Cited in 9 Fields 18 Mathematical logic and foundations (03-XX) 5 Number theory (11-XX) 4 Computer science (68-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Real functions (26-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Approximations and expansions (41-XX) Citations by Year