Martin Löb

MaRDI QIDQ6481229zbMATH OpenFactGridWikidataFDO

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
Embedding first order predicate logic in fragments of intuitionistic logic Journal of Symbolic Logic	1977-01-01	Paper
scientific article; zbMATH DE number 3451841 (Why is no real title available?)	1974-01-01	Paper
Correction to ‘A model theoretic characterisation of effective operations’ Journal of Symbolic Logic	1974-01-01	Paper
A reduction theorem for predicate logic Journal of Symbolic Logic	1972-01-01	Paper
Hierarchies of number-theoretic functions I, II: A correction Archiv für Mathematische Logik und Grundlagenforschung	1971-01-01	Paper
Hierarchies of number-theoretic functions. I Archiv für Mathematische Logik und Grundlagenforschung	1970-01-01	Paper
Hierarchies of number-theoretic functions II Archiv für Mathematische Logik und Grundlagenforschung	1970-01-01	Paper
A model theoretic characterization of effective operations Journal of Symbolic Logic	1970-01-01	Paper
Die Vollständigkeit der Verzweigten Typenlogik mit Unendlicher Terminduktion Archiv für Mathematische Logik und Grundlagenforschung	1968-01-01	Paper
Extensional interpretations of modal logics Journal of Symbolic Logic	1966-01-01	Paper
scientific article; zbMATH DE number 3188487 (Why is no real title available?)	1959-01-01	Paper
Formal systems of constructive mathematics Journal of Symbolic Logic	1956-01-01	Paper
Solution of a problem of Leon Henkin Journal of Symbolic Logic	1955-01-01	Paper
Concatenation as basis for a complete system of arithmetic Journal of Symbolic Logic	1953-01-01	Paper

Research outcomes over time

This page was built for person: Martin Löb