Monotone versus non-monotone projective operators
From MaRDI portal
Publication:6663909
DOI10.1112/BLMS.13194MaRDI QIDQ6663909FDOQ6663909
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)
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
- Elementary induction on abstract structures
- Fixed Point Theorems for Mappings Satisfying Inwardness Conditions
- An outline of inner model theory
- Title not available (Why is that?)
- Weak axioms of determinacy and subsystems of analysis I: δ20 games
- A Proof of Projective Determinacy
- Projectively well-ordered inner models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Consistency-Proof for the Generalized Continuum-Hypothesis
- Title not available (Why is that?)
- On computable numbers, with an application to the Entscheidungsproblem.
- On Non-Monotone ∑21 Inductive Definitions
- Title not available (Why is that?)
- Σ1-well-founded compactness
- 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)
