Horst Luckhardt

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 1169383 (Why is no real title available?)	1998-06-25	Paper
New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems Theoretical Computer Science	1991-01-01	Paper
Complexity Versus the Church‐Rosser Property and Confluence Mathematical Logic Quarterly	1991-01-01	Paper
Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken Journal of Symbolic Logic	1989-01-01	Paper
scientific article; zbMATH DE number 3952007 (Why is no real title available?)	1984-01-01	Paper
On constructive functions ranging over propositions Studia Logica	1980-01-01	Paper
A Limit for Higher Recursion Theory Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1979-01-01	Paper
A fundamental effect in computations on real numbers Theoretical Computer Science	1978-01-01	Paper
Über das Markov-Prinzip II Archiv für Mathematische Logik und Grundlagenforschung	1977-01-01	Paper
Über das Markov-Prinzip Archiv für Mathematische Logik und Grundlagenforschung	1976-01-01	Paper
scientific article; zbMATH DE number 3510270 (Why is no real title available?)	1975-01-01	Paper
Über Hilbert's Reale Und Ideale Elemente Archiv für Mathematische Logik und Grundlagenforschung	1975-01-01	Paper
A short proof of a well‐known theorem of intuitionistic analysis Mathematical Logic Quarterly	1975-01-01	Paper
Extensional Gödel functional interpretation. A consistency proof of classical analysis Lecture Notes in Mathematics	1973-01-01	Paper
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik Archiv für Mathematische Logik und Grundlagenforschung	1970-01-01	Paper
Kripke-Semantik der derivativen Prädikatelogik Archiv für Mathematische Logik und Grundlagenforschung	1970-01-01	Paper
Skolem-Normalformen Manuscripta Mathematica	1969-01-01	Paper
Kodifikation und Aussagenlogik Archiv für Mathematische Logik und Grundlagenforschung	1969-01-01	Paper
Aussagenlogisch Fundierte Theorien Archiv für Mathematische Logik und Grundlagenforschung	1967-01-01	Paper
Von Wright's relative Modalitäten Archiv für Mathematische Logik und Grundlagenforschung	1967-01-01	Paper

Research outcomes over time

This page was built for person: Horst Luckhardt