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

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

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