Un'estensione del teorema di Lob

zbMath0324.02019MaRDI QIDQ1224575

Giovanni Sambin

Publication date: 1975

Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RSMUP_1974__52__193_0

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Related Items

Fixed point algebras

Cites Work

• Significato e verita nell'aritmetica peaniana
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Topological aspects of suitable theories
• Gödel's diagonalization technique and related properties of theories
• Grundlagen der Mathematik I