scientific article

zbMath1195.03016MaRDI QIDQ3567855

Kazuyuki Tanaka

Publication date: 17 June 2010

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reverse mathematicsdeterminacyinductive definition\(\Delta^1_2\)-ID\(\Pi^1_2\)-CA

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Passive induction and a solution to a Paris-Wilkie open question

This page was built for publication: