Horst Luckhardt

发表

New Formally Undecidable Propositions: Non-Trivial Lower Bounds on Proof Complexity and Related Theorems

Horst Luckhardt, 1991, Theor. Comput. Sci..

Über Hilbert's Reale Und Ideale Elemente

Horst Luckhardt, 1975, Arch. Math. Log..

On the bar recursive model of classical analysis and the general bar induction over species

Horst Luckhardt, 1973 .

A short proof of a well-known theorem of intuitionistic analysis

Horst Luckhardt, 1975, Math. Log. Q..

Über das Markov-Prinzip II

Horst Luckhardt, 1977, Arch. Math. Log..

Generalized inductive definitions

Horst Luckhardt, H. Luckhardt, 1973 .

Consistency proof by computation. Computation of T⋃BRo...o⋃μ

Horst Luckhardt, 1973 .

A Fundamental Effect in Computations on Real Numbers

Horst Luckhardt, 1977, Theor. Comput. Sci..

A formal system of classical analysis

Horst Luckhardt, 1973 .

The real elements in a consistency proof for simple type theory I

Horst Luckhardt, 1975 .