Determinacy and monotone inductive definitions

DOI10.1007/S11856-018-1802-1MaRDI QIDQ2631880zbMATH OpenOpenAlexWikidataFDO

Authors Sherwood Hachtman

Publication date 16 May 2019

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11856-018-1802-1

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Second- and higher-order arithmetic and fragments (03F35) Determinacy principles (03E60) Inductive definability (03D70)

Recommendations

• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• Weak determinacy and iterations of inductive definitions
• Δ₃^O-determinacy, comprehension and induction
• Determinacy in L(ℝ)

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)

• Identification through Inductive Verification
• Monotone recursive definition of predicates and its realizability interpretation
• GAMES AND INDUCTION ON REALS
• Logic Programming and Nonmonotonic Reasoning

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)