Locally hyperarithmetical induction

DOI10.1112/blms.12763OpenAlexW4310258729MaRDI QIDQ6096755

Juan P. Aguilera

Publication date: 15 September 2023

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/blms.12763

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Axiomatics of classical set theory and its fragments (03E30) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Inductive definability (03D70)

Cites Work

• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• Set recursion and \(\Pi ^ 1_ 2\)-logic
• Another extension of Van de Wiele's theorem
• Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Elementary induction on abstract structures
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Ordinal Definability and Recursion Theory The Cabal Seminar Volume III
• Σ₁ definitions with parameters
• On Non-Monotone ∑21 Inductive Definitions
• Π12-logic, Part 1: Dilators
• Feedback hyperjump
• The next admissible set
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Locally hyperarithmetical induction