Determinacy and monotone inductive definitions
From MaRDI portal
Publication:2631880
Recommendations
Cites work
- scientific article; zbMATH DE number 3779309 (Why is no real title available?)
- scientific article; zbMATH DE number 194101 (Why is no real title available?)
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 3215740 (Why is no real title available?)
- A Survey of Determinacy of Infinite Games in Second Order Arithmetic
- Descriptive set theory
- Infinite games and transfinite recursion of multiple inductive definitions
- Open questions in reverse mathematics
- Parameter-free uniformisation
- Subsystems of second order arithmetic
- The fine structure of the constructible hierarchy
- The limits of determinacy in second order arithmetic: consistency and complexity strength
- The limits of determinacy in second-order arithmetic
- Weak axioms of determinacy and subsystems of analysis I: δ20 games
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
- Weak determinacy and iterations of inductive definitions
- Weak systems of determinacy and arithmetical quasi-inductive definitions
Cited in
(4)
This page was built for publication: Determinacy and monotone inductive definitions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631880)