1997/51/1-2 (14) — DOI: 10.5486/PMD.1997.1841 — pp. 153-164
Full Text Abstract

Cut-elimination in the theory of definable sets of natural numbers

Authors: Albert G. Dragalin

Keywords: cut-elimination, definable sets, omega-rule, second-order arithmetic

Mathematics Subject Classification: 03F05, 03F35, 03E45