A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
type: Item
instance of: scholarly article
title: A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
zbMATH Open document ID: 0785.03038
DOI: 10.1016/0168-0072(93)90197-L
author: Paola D'Aquino
published in: Annals of Pure and Applied Logic
publication date: 1993-09-22T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03C62
Mathematics Subject Classification ID: 03H15
zbMATH DE Number: 416880
zbMATH Keywords: fragment of Peano arithmetic
zbMATH Keywords: bounded quantifiers
MaRDI profile type: Publication
cites work: Local behaviour of the Chebyshev theorem in models of I⊿0
cites work: Q4001935
cites work: Diophantine induction
cites work: On the complexity of models of arithmetic
cites work: Q3893931
cites work: Q3931384
cites work: Q3884109
cites work: Q3325707
cites work: Q3739120
cites work: Q3470461
cites work: Bounded existential induction
description: scientific article; zbMATH DE number 416880