Problemi aperti sulle algebre diagonali
From MaRDI portal
Publication:4121961
DOI10.1007/BF02925653zbMATH Open0352.08008MaRDI QIDQ4121961FDOQ4121961
Authors: Roberto Magari
Publication date: 1975
Published in: Rendiconti del Seminario Matematico e Fisico di Milano (Search for Journal in Brave)
Cites Work
- Arithmetization of metamathematics in a general setting
- The consistency of arithmetics
- Solution of a problem of Leon Henkin
- Title not available (Why is that?)
- On axiomatizability within a system
- The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
- Theories incomparable with respect to relative interpretability
- Title not available (Why is that?)
- Significato e verita nell'aritmetica peaniana
- Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (5)
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.)
- Provability: The emergence of a mathematical modality
- Fixed point algebras
- On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
This page was built for publication: Problemi aperti sulle algebre diagonali
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4121961)