Lifting independence results in bounded arithmetic
type: Item
instance of: scholarly article
title: Lifting independence results in bounded arithmetic
zbMATH Open document ID: 0924.03107
author: Mario Chiari
author: Jan Krajíček
published in: Archive for Mathematical Logic
publication date: 1999-11-15T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q15
zbMATH DE Number: 1275035
zbMATH Keywords: bounded arithmetic lifting method
zbMATH Keywords: lifting method
zbMATH Keywords: Ramsey's theorem
MaRDI profile type: Publication
full work available at URL: s001530050118
OpenAlex ID: W2036503832
DOI: 10.1007/S001530050118
description: scientific article; zbMATH DE number 1275035