Problemi aperti sulle algebre diagonali
- 1 December 1974
- journal article
- Published by Springer Nature in Rendiconti del Seminario Matematico e Fisico di Milano
- Vol. 44 (1) , 75-90
- https://doi.org/10.1007/bf02925653
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Su certe teorie non enumerabiliAnnali di Matematica Pura ed Applicata (1923 -), 1974
- The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebraThe Journal of Symbolic Logic, 1973
- Classi metaideali di algebre simili (congruenze ideali III)ANNALI DELL'UNIVERSITA' DI FERRARA, 1970
- Theories incomparable with respect to relative interpretabilityThe Journal of Symbolic Logic, 1962
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960
- Solution of a problem of Leon HenkinThe Journal of Symbolic Logic, 1955
- On axiomatizability within a systemThe Journal of Symbolic Logic, 1953
- Die Widerspruchsfreiheit der reinen ZahlentheorieMathematische Annalen, 1936
- Extensions of some theorems of Gödel and ChurchThe Journal of Symbolic Logic, 1936
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931