Boundedness theorems for flowers and sharps

DOI10.1090/proc/15859OpenAlexW3200440362WikidataQ122717668 ScholiaQ122717668MaRDI QIDQ5086943

Anton Freund, Juan P. Aguilera, Andreas Weiermann, Michael Rathjen

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

zbMATH Keywords

boundednessnatural transformationdilatorSharpflowerorder indiscernible

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Preorders, orders, domains and lattices (viewed as categories) (18B35) Recursive ordinals and ordinal notations (03F15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boundedness theorems for dilators and ptykes
• A strong boundedness theorem for dilators
• Derivatives of normal functions in reverse mathematics
• PROOF THEORY OF WEAK COMPACTNESS
• LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
• Large Cardinals from Determinacy
• Π12-logic, Part 1: Dilators
• Embeddability of ptykes
• Set Theory
• The Size of the Ordinal u ₂
• Constructibility
• A Nonconstructible Δ 1 3 Set of Integers
• Some applications of model theory in set theory
• Countable ordinals in indiscernibility spectra