Person:1245216

Available identifiers

zbMath Open luckhardt.horstMaRDI QIDQ1245216

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4397035	1998-06-25	Paper
New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems	1991-01-01	Paper
Complexity Versus the Church‐Rosser Property and Confluence	1991-01-01	Paper
Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3721816	1984-01-01	Paper
On constructive functions ranging over propositions	1980-01-01	Paper
A Limit for Higher Recursion Theory	1979-01-01	Paper
A fundamental effect in computations on real numbers	1978-01-01	Paper
Über das Markov-Prinzip II	1977-01-01	Paper
Über das Markov-Prinzip	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4090311	1975-01-01	Paper
Über Hilbert's Reale Und Ideale Elemente	1975-01-01	Paper
A short proof of a well‐known theorem of intuitionistic analysis	1975-01-01	Paper
Extensional Gödel functional interpretation. A consistency proof of classical analysis	1973-01-01	Paper
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik	1970-01-01	Paper
Kripke-Semantik der derivativen Prädikatelogik	1970-01-01	Paper
Skolem-Normalformen	1969-01-01	Paper
Kodifikation und Aussagenlogik	1969-01-01	Paper
Aussagenlogisch Fundierte Theorien	1967-01-01	Paper
Von Wright's relative Modalitäten	1967-01-01	Paper

Research outcomes over time

This page was built for person: Horst Luckhardt