SU\G(𝔸)/K·U

Horst Luckhardt

Follow

Generating author description...

All published works
Action Title Year Authors
+ Complexity Versus the Church‐Rosser Property and Confluence 1991 Horst Luckhardt
+ Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken 1989 Horst Luckhardt
+ A fundamental effect in computations on real numbers 1977 Horst Luckhardt
+ Über Hilbert's Reale Und Ideale Elemente 1975 Horst Luckhardt
+ PDF Chat Extensional Gödel Functional Interpretation 1973 Horst Luckhardt
+ Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), $$(\underrightarrow V)$$ in T 1973 Horst Luckhardt
+ Von Wright's relative Modalitäten 1967 Horst Luckhardt
Common Coauthors
Coauthor Papers Together
Commonly Cited References
Action Title Year Authors # of times referenced
+ Finiteness Theorems in Arithmetic: An Application of Herbrand's Theorem For Σ2 - Formulas 1982 G. Kreisel
 1
+ PDF Chat On the equation of Catalan 1976 R. Tijdeman
 1
+ Upper bounds for the numbers of solutions of diophantine equations 1983 Jan‐Hendrik Evertse
 1
+ Transcendental and algebraic numbers 1960 А. О. Гелъфонд
 1
+ PDF Chat Transcendental Number Theory 1975 A. Baker
 1
+ PDF Chat An inequality for the discriminant of a polynomial. 1964 K. Mahler
 1
+ Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp. 1989 Helmut Pfeiffer
 1
+ AN EFFECTIVE REFINEMENT OF THE EXPONENT IN LIOUVILLE'S THEOREM 1971 Norman Feldman
 1
+ PDF Chat On the Thue-Siegel-Dyson theorem 1982 Enrico Bombieri
 1
+ On equations inS-units and the Thue-Mahler equation 1984 Jan‐Hendrik Evertse
 1
+ Dyson's Lemma for polynomials in several variables (and the Theorem of roth) 1984 H�l�ne Esnault
Eckart Viehweg
 1
+ PDF Chat A bound on solutions of linear integer equalities and inequalities 1978 Joachim von zur Gathen
Malte Sieveking
 1
+ Mathematical significance of consistency proofs 1958 G. Kreisel
 1
+ Rational approximations to algebraic numbers 1955 K. F. Roth
 1
+ A note on Thue's theorem 1968 H. Davenport
 1
+ Sums of Squares 1970 Olga Taussky
 1
+ Mathematische Gesetze der Logik I 1960 Hans Schmidt
 1
+ PDF Chat On the representation of integers by binary forms 1961 D. J. Lewis
Kurt Mahler
 1
+ On the Kind of Data Needed for A Theory of Proofs 1977 G. Kreisel
 1
+ PDF Chat Corrigendum 1955 K. F. Roth
 1
+ What have we learnt from Hilbert’s second problem? 1976 G. Kreisel
 1
+ Rational approximations to algebraic numbers 1955 H. Davenport
K. F. Roth
 1
+ Lower Bounds on Herbrand's Theorem 1979 R. Statman
 1
+ On thue’s principle and its applications 1984 Julia Mueller
 1