Monotone versus non-monotone projective operators

DOI10.1112/BLMS.13194MaRDI QIDQ6663909zbMATH OpenFDO

Authors Juan P. Aguilera, Philip D. Welch

Publication date 15 January 2025

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

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Inner models, including constructibility, ordinal definability, and core models (03E45) Inductive definability (03D70)

Cites work

• scientific article; zbMATH DE number 3732013 (Why is no real title available?)
• scientific article; zbMATH DE number 3477148 (Why is no real title available?)
• scientific article; zbMATH DE number 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3188506 (Why is no real title available?)
• A Proof of Projective Determinacy
• A proof of Grilliot's theorem
• An outline of inner model theory
• Consistency-Proof for the Generalized Continuum-Hypothesis
• Elementary induction on abstract structures
• Fixed Point Theorems for Mappings Satisfying Inwardness Conditions
• On Non-Monotone ∑21 Inductive Definitions
• On computable numbers, with an application to the Entscheidungsproblem.
• Projectively well-ordered inner models
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Σ1-well-founded compactness

This page was built for publication: Monotone versus non-monotone projective operators

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