Problemi aperti sulle algebre diagonali

DOI10.1007/BF02925653zbMath0352.08008MaRDI QIDQ4121961

Roberto Magari

Publication date: 1975

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

Mathematics Subject Classification ID

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

Related Items (5)

Provability: The emergence of a mathematical modality ⋮ Fixed point algebras ⋮ 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.) ⋮ On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) ⋮ An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Significato e verita nell'aritmetica peaniana
• Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Theories incomparable with respect to relative interpretability
• The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
• On axiomatizability within a system
• The consistency of arithmetics

This page was built for publication: Problemi aperti sulle algebre diagonali