Determinacy and monotone inductive definitions

DOI10.1007/S11856-018-1802-1zbMATH Open1468.03068OpenAlexW2905273966WikidataQ128811633 ScholiaQ128811633MaRDI QIDQ2631880FDOQ2631880

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

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(ℝ)

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)

Cites Work

• Subsystems of second order arithmetic
• The fine structure of the constructible hierarchy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Descriptive set theory
• Open questions in reverse mathematics
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Title not available (Why is that?)
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• The limits of determinacy in second-order arithmetic
• The limits of determinacy in second order arithmetic: consistency and complexity strength
• Weak determinacy and iterations of inductive definitions
• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• Infinite games and transfinite recursion of multiple inductive definitions
• Parameter-free uniformisation
• A Survey of Determinacy of Infinite Games in Second Order Arithmetic
• Title not available (Why is that?)

Cited In (4)

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

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)