Problemi aperti sulle algebre diagonali

DOI10.1007/BF02925653MaRDI QIDQ4121961zbMATH OpenFDO

Authors Roberto Magari

Publication date 1975

Published in Rendiconti del Seminario Matematico e Fisico di Milano (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02925653

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Algebraic structures (08Axx)

Cites work

• scientific article; zbMATH DE number 3485881 (Why is no real title available?)
• scientific article; zbMATH DE number 3496130 (Why is no real title available?)
• scientific article; zbMATH DE number 3390872 (Why is no real title available?)
• scientific article; zbMATH DE number 3414376 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• On axiomatizability within a system
• Significato e verita nell'aritmetica peaniana
• Solution of a problem of Leon Henkin
• Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
• The consistency of arithmetics
• The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
• Theories incomparable with respect to relative interpretability

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)