Problemi aperti sulle algebre diagonali

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)

Mathematics Subject Classification ID

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

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)