Second-order arithmetic and the consistency of first-order theories

DOI10.1070/RM1982v037n04ABEH003977zbMath0531.03034MaRDI QIDQ3312221

V. I. Stepanov

Publication date: 1982

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

zbMATH Keywords

consistencysecond order arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: Second-order arithmetic and the consistency of first-order theories