Significato e verita nell'aritmetica peaniana
type: Item
instance of: scholarly article
title: Significato e verita nell'aritmetica peaniana
zbMATH Open document ID: 0316.02037
DOI: 10.1007/BF02414160
author: Roberto Magari
published in: Annali di Matematica Pura ed Applicata. Serie Quarta
publication date: 1975-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F99
zbMATH DE Number: 3494384
MaRDI profile type: Publication
cites work: Arithmetization of metamathematics in a general setting
cites work: Limiting recursion
cites work: Q5571677
cites work: Solution of a problem of Leon Henkin
cites work: Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
cites work: Q4046030
cites work: Q5320764
cites work: Trial and error predicates and the solution to a problem of Mostowski
cites work: Q5573961
cites work: Q5537599
cites work: Q5761282
cites work: Systems of Logic Based on Ordinals†
description: scientific article; zbMATH DE number 3494384