Monotone versus non-monotone projective operators
From MaRDI portal
Publication:6663909
DOI10.1112/BLMS.13194MaRDI QIDQ6663909
Juan P. Aguilera, Philip D. Welch
Publication date: 15 January 2025
Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)
Inner models, including constructibility, ordinal definability, and core models (03E45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Inductive definability (03D70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Elementary induction on abstract structures
- Projectively well-ordered inner models
- On computable numbers, with an application to the Entscheidungsproblem.
- An Outline of Inner Model Theory
- Weak axioms of determinacy and subsystems of analysis I: δ20 games
- A Proof of Projective Determinacy
- On Non-Monotone ∑21 Inductive Definitions
- Σ1-well-founded compactness
- Fixed Point Theorems for Mappings Satisfying Inwardness Conditions
- Consistency-Proof for the Generalized Continuum-Hypothesis
- A proof of Grilliot's theorem
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)
