Boundedness theorems for flowers and sharps
DOI10.1090/PROC/15859OpenAlexW3200440362WikidataQ122717668 ScholiaQ122717668MaRDI QIDQ5086943FDOQ5086943
Authors: Juan P. Aguilera, Anton Freund, Michael Rathjen, Andreas Weiermann 
Publication date: 8 July 2022
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/proc/15859
Recommendations
Descriptive set theory (03E15) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Recursive ordinals and ordinal notations (03F15) Preorders, orders, domains and lattices (viewed as categories) (18B35) Inner models, including constructibility, ordinal definability, and core models (03E45)
Cites Work
- Set Theory
- Large cardinals from determinacy
- The higher infinite. Large cardinals in set theory from their beginnings.
- Descriptive set theory
- Proof theory of weak compactness
- Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory
- The Size of the Ordinal u 2
- Some applications of model theory in set theory
- A Nonconstructible Δ 1 3 Set of Integers
- Π12-logic, Part 1: Dilators
- A strong boundedness theorem for dilators
- Boundedness theorems for dilators and ptykes
- Constructibility
- Embeddability of ptykes
- Title not available (Why is that?)
- Derivatives of normal functions in reverse mathematics
- Countable ordinals in indiscernibility spectra
Cited In (3)
This page was built for publication: Boundedness theorems for flowers and sharps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5086943)
