Significato e verita nell'aritmetica peaniana

DOI10.1007/BF02414160zbMath0316.02037MaRDI QIDQ1221103

Roberto Magari

Publication date: 1975

Published in: Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Related Items (7)

Provability: The emergence of a mathematical modality ⋮ Problemi aperti sulle algebre diagonali ⋮ The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.) ⋮ Un'estensione del teorema di Lob ⋮ An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) ⋮ On the set of 'meaningful' sentences of arithmetic ⋮ A sequence of theories for arithmetic whose union is complete

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Trial and error predicates and the solution to a problem of Mostowski
• Limiting recursion
• Systems of Logic Based on Ordinals^†

This page was built for publication: Significato e verita nell'aritmetica peaniana