A note on sharply bounded arithmetic
type: Item
instance of: scholarly article
title: A note on sharply bounded arithmetic
zbMATH Open document ID: 0792.03040
DOI: 10.1007/BF01352935
author: Jan Johannsen
published in: Archive for Mathematical Logic
publication date: 1994-07-07T00:00:00Z
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 579324
zbMATH Keywords: independence results
zbMATH Keywords: bounded arithmetic
MaRDI profile type: Publication
cites work: Q3794177
cites work: Q4850548
cites work: Bounded arithmetic for NC, ALogTIME, L and NL
cites work: Q4282609
cites work: Q3140644
description: scientific article; zbMATH DE number 579324