Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)

DOI10.1007/BF02414017zbMath0286.02051MaRDI QIDQ1845881

Roberto Magari

Publication date: 1974

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

Mathematics Subject Classification ID

General logic (03B99) Proof theory and constructive mathematics (03F99)

Related Items

Logic and probabilistic systems, Provability: The emergence of a mathematical modality, Problemi aperti sulle algebre diagonali, Significato e verita nell'aritmetica peaniana, Experimental logics and \(\Delta^0_2\)-theories, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Gödel's theorem, Church's theorem and mechanism
• Arithmetization of metamathematics in a general setting
• Limiting recursion
• Certain predicates defined by induction schemata
• On axiomatizability within a system