Locally hyperarithmetical induction

DOI10.1112/BLMS.12763MaRDI QIDQ6096755zbMATH OpenOpenAlexFDO

Authors Juan P. Aguilera

Publication date 15 September 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

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

Cites work

• Σ₁ definitions with parameters
• Another extension of Van de Wiele's theorem
• Descriptive set theory
• Elementary induction on abstract structures
• Feedback hyperjump
• Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium
• scientific article; zbMATH DE number 3914319 (Why is no real title available?)
• scientific article; zbMATH DE number 3786765 (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 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 3550695 (Why is no real title available?)
• scientific article; zbMATH DE number 1390277 (Why is no real title available?)
• Investigations of subsystems of second order arithmetic and set theory in strength between \(\Pi^1_1\)-CA and \(\Delta^1_2\)-\(\text{CA}+\text{BI}\). I
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• On Non-Monotone ∑21 Inductive Definitions
• Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985
• Set recursion and \(\Pi ^ 1_ 2\)-logic
• The next admissible set
• 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 systems of determinacy and arithmetical quasi-inductive definitions
• Π12-logic, Part 1: Dilators

This page was built for publication: Locally hyperarithmetical induction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6096755)