scientific article

zbMath1157.03035MaRDI QIDQ3530407

Kazuyuki Tanaka, Medyahya Ould Medsalem

Publication date: 20 October 2008

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

zbMATH Keywords

reverse mathematicsdeterminacyinductive definition

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Determinacy principles (03E60)

Related Items (7)

Infinite games in the Cantor space and subsystems of second order arithmetic ⋮ Determinacy and monotone inductive definitions ⋮ Open determinacy for class games ⋮ Complete Determinacy and Subsystems of Second Order Arithmetic ⋮ The determinacy strength of \(\Pi_2^1\)-comprehension ⋮ A characterization of \(\Sigma_1^1\)-reflecting ordinals ⋮ Determinacy of Wadge classes and subsystems of second order arithmetic

This page was built for publication: