×

zbMATH — the first resource for mathematics

Luckhardt, Horst

Author ID: luckhardt.horst Recent zbMATH articles by "Luckhardt, Horst"
Published as: Luckhardt, H.; Luckhardt, Horst
External Links: MGP
Documents Indexed: 21 Publications since 1967, including 1 Book
Reviewing Activity: 16 Reviews

Co-Authors

20 single-authored

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 61 times in 54 Documents Cited by Year
Extensional Gödel functional interpretation. A consistency proof of classical analysis. Zbl 0262.02031
Luckhardt, Horst
24
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.
16
1989
A fundamental effect in computations on real numbers. Zbl 0374.02018
Luckhardt, Horst
6
1978
Über das Markov-Prinzip. Zbl 0356.02028
Luckhardt, Horst
4
1976
Bounds extracted by Kreisel from ineffective proofs. Zbl 0896.03005
Luckhardt, Horst
3
1996
Obere Komplexitätsschranken für TAUT-Entscheidungen. Zbl 0592.68041
Luckhardt, H.
2
1984
Intuitionistic uniformity principles for propositions and some applications. Zbl 0463.03035
Friedrich, W.; Luckhardt, H.
2
1980
The real elements in a consistency proof for simple type theory. I. Zbl 0326.02019
Luckhardt, Horst
1
1975
Ü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
Aussagenlogisch fundierte Theorien. Zbl 0165.30503
Luckhardt, H.
1
1967
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.
16
1989
Obere Komplexitätsschranken für TAUT-Entscheidungen. Zbl 0592.68041
Luckhardt, H.
2
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
6
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
1
1975
Extensional Gödel functional interpretation. A consistency proof of classical analysis. Zbl 0262.02031
Luckhardt, Horst
24
1973
Aussagenlogisch fundierte Theorien. Zbl 0165.30503
Luckhardt, H.
1
1967

Citations by Year