Bounded existential induction
type: Item
instance of: scholarly article
title: Bounded existential induction
zbMATH Open document ID: 0634.03029
DOI: 10.2307/2273790
author: George Wilmers
published in: Journal of Symbolic Logic
publication date: 1985-01-01T00:00:00Z
Mathematics Subject Classification ID: 03C62
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03H15
zbMATH DE Number: 4031652
zbMATH Keywords: bounded arithmetic
zbMATH Keywords: models of arithmetic
zbMATH Keywords: recursive models
zbMATH Keywords: recursively saturated models
zbMATH Keywords: Presburger arithmetic
zbMATH Keywords: arithmetic with bounded existential induction
zbMATH Keywords: Paris-Wilkie's \(\Delta _ 0\)-hierarchy
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.2307/2273790
OpenAlex ID: W1982001540
cites work: Q5573961
description: scientific article