## Levitz, Hilbert

Compute Distance To:
 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)

### 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.06001
Levitz, Hilbert
1978
A simplification of Takeuti’s ordinal diagrams of finite order. Zbl 0196.01403
Levitz, H.
1969
Decidability of some problems pertaining to base 2 exponential Diophantine equations. Zbl 0634.03007
Levitz, Hilbert
1985
An initial segment of the set of polynomial functions with exponentiation. Zbl 0376.06002
Levitz, Hilbert
1977
On the relationship between Takeuti’s ordinal diagrams $$O(n)$$ and Schütte’s system of ordinal notations $$\Sigma(n)$$. Zbl 0201.00702
Levitz, Hilbert
1970
A characterization of Takeuti’s ordinal diagrams of finite order. Zbl 0244.02011
Levitz, Hilbert; Schütte, Kurt
1971
An ordered set of arithmetic functions representing the least $$\varepsilon$$-number. Zbl 0325.04002
Levitz, Hilbert
1975
Decidability of some problems pertaining to base 2 exponential diophantine equations. Zbl 0609.03002
Levitz, Hilbert
1985
On Skolem’s exponential functions below $$2^{2^ X}$$. Zbl 0556.03036
van den Dries, Lou; Levitz, Hilbert
1984
A characterization of the Veblen-Schütte functions by means of functionals. Zbl 0272.02051
Levitz, Hilbert
1973
Calculation of an order type: An application of non-standard methods. Zbl 0522.03057
Levitz, Hilbert
1982
Über die Finslerschen höheren arithmetischen Operationen. Zbl 0147.25104
Levitz, H.
1966
On the Finsler and Doner-Tarski arithmetical hierarchies. Zbl 0177.01501
Levitz, H.
1969
The Cartesian product of sets and the Hessenberg natural product of ordinals. Zbl 0426.04002
Levitz, Hilbert
1979
Decidability of some problems pertaining to base 2 exponential Diophantine equations. Zbl 0634.03007
Levitz, Hilbert
1985
Decidability of some problems pertaining to base 2 exponential diophantine equations. Zbl 0609.03002
Levitz, Hilbert
1985
On Skolem’s exponential functions below $$2^{2^ X}$$. Zbl 0556.03036
van den Dries, Lou; Levitz, Hilbert
1984
Calculation of an order type: An application of non-standard methods. Zbl 0522.03057
Levitz, Hilbert
1982
The Cartesian product of sets and the Hessenberg natural product of ordinals. Zbl 0426.04002
Levitz, Hilbert
1979
An ordinal bound for the set of polynomial functions with exponentiation. Zbl 0376.06001
Levitz, Hilbert
1978
An initial segment of the set of polynomial functions with exponentiation. Zbl 0376.06002
Levitz, Hilbert
1977
An ordered set of arithmetic functions representing the least $$\varepsilon$$-number. Zbl 0325.04002
Levitz, Hilbert
1975
A characterization of the Veblen-Schütte functions by means of functionals. Zbl 0272.02051
Levitz, Hilbert
1973
A characterization of Takeuti’s ordinal diagrams of finite order. Zbl 0244.02011
Levitz, Hilbert; Schütte, Kurt
1971
On the relationship between Takeuti’s ordinal diagrams $$O(n)$$ and Schütte’s system of ordinal notations $$\Sigma(n)$$. Zbl 0201.00702
Levitz, Hilbert
1970
A simplification of Takeuti’s ordinal diagrams of finite order. Zbl 0196.01403
Levitz, H.
1969
On the Finsler and Doner-Tarski arithmetical hierarchies. Zbl 0177.01501
Levitz, H.
1969
Über die Finslerschen höheren arithmetischen Operationen. Zbl 0147.25104
Levitz, H.
1966
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)