Boundedness theorems for flowers and sharps

DOI10.1090/PROC/15859MaRDI QIDQ5086943zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

boundednessnatural transformationdilatorSharpflowerorder indiscernible

Mathematics Subject Classification ID

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)

Recommendations

• A strong boundedness theorem for dilators
• scientific article; zbMATH DE number 3906494
• Boundedness theorems for dilators and ptykes
• Bounded modified realizability
• Equalization of finite flowers

Cites work

• scientific article; zbMATH DE number 3914319 (Why is no real title available?)
• A Nonconstructible Δ 1 3 Set of Integers
• A strong boundedness theorem for dilators
• Boundedness theorems for dilators and ptykes
• Constructibility
• Countable ordinals in indiscernibility spectra
• Derivatives of normal functions in reverse mathematics
• Descriptive set theory
• Embeddability of ptykes
• Large cardinals from determinacy
• Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory
• Proof theory of weak compactness
• Set Theory
• Some applications of model theory in set theory
• The Size of the Ordinal u ₂
• The higher infinite. Large cardinals in set theory from their beginnings.
• Π12-logic, Part 1: Dilators

Cited in

(3)

• scientific article; zbMATH DE number 3906494 (Why is no real title available?)
• Equalization of finite flowers
• scientific article; zbMATH DE number 4002084 (Why is no real title available?)

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)