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

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item