A proof-theoretical analysis of semiconstructive intermediate theories

From MaRDI portal

Publication:1868239

Jump to:navigation, search

DOI10.1023/A:1022985222183zbMath1015.03059MaRDI QIDQ1868239

Mauro Ferrari, Camillo Fiorentini

Publication date: 27 April 2003

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

computability bounded complexity Markov's principle information extraction intermediate semiconstructive systems semiconstructive theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Metamathematics of constructive systems (03F50)

This page was built for publication: A proof-theoretical analysis of semiconstructive intermediate theories

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1868239&oldid=14257620"