Edit Profile (opens in new tab) Luckhardt, Horst Author ID: luckhardt.horst Published as: Luckhardt, H.; Luckhardt, Horst External Links: MGP · Wikidata Documents Indexed: 21 Publications since 1967, including 1 Book Reviewing Activity: 18 Reviews Co-Authors 20 single-authored all top 5 Serials 8 Archiv für Mathematische Logik und Grundlagenforschung 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Studia Logica 2 Theoretical Computer Science 1 The Journal of Symbolic Logic 1 Manuscripta Mathematica 1 Lecture Notes in Mathematics Fields 16 Mathematical logic and foundations (03-XX) 3 Computer science (68-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 11 Publications have been cited 82 times in 75 Documents Cited by ▼ Year ▼ Extensional Gödel functional interpretation. A consistency proof of classical analysis. Zbl 0262.02031 Luckhardt, Horst 29 1973 Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken. (Herbrand analyses of two proofs of Roth’s theorem: polynomial bounds). Zbl 0669.03024 Luckhardt, H. 20 1989 A fundamental effect in computations on real numbers. Zbl 0374.02018 Luckhardt, Horst 13 1978 Obere Komplexitätsschranken für TAUT-Entscheidungen. Zbl 0592.68041 Luckhardt, H. 5 1984 Über das Markov-Prinzip. Zbl 0356.02028 Luckhardt, Horst 4 1976 The real elements in a consistency proof for simple type theory. I. Zbl 0326.02019 Luckhardt, Horst 3 1975 Bounds extracted by Kreisel from ineffective proofs. Zbl 0896.03005 Luckhardt, Horst 3 1996 Intuitionistic uniformity principles for propositions and some applications. Zbl 0463.03035 Friedrich, W.; Luckhardt, H. 2 1980 Aussagenlogisch fundierte Theorien. Zbl 0165.30503 Luckhardt, H. 1 1967 Über das Markov-Prinzip. II. Zbl 0381.03045 Luckhardt, Horst 1 1977 On constructive functions ranging over propositions. Zbl 0463.03036 Luckhardt, H. 1 1980 Bounds extracted by Kreisel from ineffective proofs. Zbl 0896.03005 Luckhardt, Horst 3 1996 Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken. (Herbrand analyses of two proofs of Roth’s theorem: polynomial bounds). Zbl 0669.03024 Luckhardt, H. 20 1989 Obere Komplexitätsschranken für TAUT-Entscheidungen. Zbl 0592.68041 Luckhardt, H. 5 1984 Intuitionistic uniformity principles for propositions and some applications. Zbl 0463.03035 Friedrich, W.; Luckhardt, H. 2 1980 On constructive functions ranging over propositions. Zbl 0463.03036 Luckhardt, H. 1 1980 A fundamental effect in computations on real numbers. Zbl 0374.02018 Luckhardt, Horst 13 1978 Über das Markov-Prinzip. II. Zbl 0381.03045 Luckhardt, Horst 1 1977 Über das Markov-Prinzip. Zbl 0356.02028 Luckhardt, Horst 4 1976 The real elements in a consistency proof for simple type theory. I. Zbl 0326.02019 Luckhardt, Horst 3 1975 Extensional Gödel functional interpretation. A consistency proof of classical analysis. Zbl 0262.02031 Luckhardt, Horst 29 1973 Aussagenlogisch fundierte Theorien. Zbl 0165.30503 Luckhardt, H. 1 1967 all cited Publications top 5 cited Publications all top 5 Cited by 65 Authors 14 Kohlenbach, Ulrich Wilhelm 6 Luckhardt, Horst 5 Ziegler, Martin 4 Baaz, Matthias 4 Hetzl, Stefan 4 Leitsch, Alexander 3 Bezem, Marc 3 Collins, Peter J. 3 Gerhardy, Philipp 3 Kreuzer, Alexander P. 3 Oliva, Paulo 3 Park, Sewon 2 Berger, Ulrich 2 Brauße, Franz 2 Ferreira, Fernando 2 Fujiwara, Makoto 2 Hernest, Mircea-Dan 2 Hirsch, Edward A. 2 Hötzel Escardó, Martín 2 Konečný, Michal 2 Kullmann, Oliver 2 Mints, Grigoriĭ Efroimovich 2 Müller, Norbert Th. 2 Sieg, Wilfried 2 Spreen, Dieter 1 Barendsen, Erik 1 Bernini, Sergio 1 Ebner, Gabriel 1 Friedrich, Wolfgang 1 Hernest, Dan 1 Horsten, Leon 1 Ilik, Danko 1 Ishihara, Hajime 1 Kawamura, Akitoshi 1 Kim, Sunyoung 1 Kojevnikov, Arist 1 Koswara, Ivan 1 Lee, Gyesik 1 Lim, Donghyun 1 Lolic, Anela 1 Macintyre, Angus John 1 Marcial-Romero, José Raymundo 1 Mueller, Julia H. 1 Nemoto, Takako 1 Neumann, Eike 1 Normann, Dag 1 Pogudin, Gleb A. 1 Preining, Norbert 1 Richter, Clemens 1 Rösnick, Carsten 1 Safarik, Pavol 1 Sanders, Sam 1 Ščedrov, Andrej 1 Schlickewei, Hans Peter 1 Schmidt, Wolfgang M. 1 Selivanova, Svetlana V. 1 Spohr, Hendrik 1 Thies, Holger 1 Trifonov, Trifon A. 1 Tsuiki, Hideki 1 van Atten, Mark 1 Vesley, Richard E. 1 Vogel, Helmut 1 Weller, Daniel S. 1 Woltzenlogel Paleo, Bruno all top 5 Cited in 24 Serials 12 Annals of Pure and Applied Logic 7 Archiv für Mathematische Logik und Grundlagenforschung 7 Archive for Mathematical Logic 6 Theoretical Computer Science 4 Mathematical Logic Quarterly (MLQ) 3 The Journal of Symbolic Logic 3 Studia Logica 2 Proceedings of the American Mathematical Society 2 Transactions of the American Mathematical Society 2 Journal of Symbolic Computation 2 Journal of Complexity 2 Logical Methods in Computer Science 1 Discrete Applied Mathematics 1 Compositio Mathematica 1 Journal of Philosophical Logic 1 Journal of Soviet Mathematics 1 Notre Dame Journal of Formal Logic 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Information and Computation 1 Mathematical Structures in Computer Science 1 Indagationes Mathematicae. New Series 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics and Artificial Intelligence 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 12 Fields 63 Mathematical logic and foundations (03-XX) 20 Computer science (68-XX) 5 Operator theory (47-XX) 4 General topology (54-XX) 2 Number theory (11-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Real functions (26-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Sequences, series, summability (40-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.