A proof-theoretical analysis of semiconstructive intermediate theories
type: Item
instance of: scholarly article
title: A proof-theoretical analysis of semiconstructive intermediate theories
zbMATH Open document ID: 1015.03059
DOI: 10.1023/A:1022985222183
author: Mauro Ferrari
author: Camillo Fiorentini
published in: Studia Logica
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 1901324
zbMATH Keywords: intermediate semiconstructive systems
zbMATH Keywords: information extraction
zbMATH Keywords: Markov's principle
zbMATH Keywords: semiconstructive theories
zbMATH Keywords: computability
zbMATH Keywords: bounded complexity
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1901324