An introduction to AD^+

DOI10.1142/9789819806584_0008MaRDI QIDQ7355174zbMATH OpenFDO

Authors Paul Larson

Publication date 22 September 2026

Full work available at URL https://doi.org/10.1142/9789819806584_0008

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx) Set theory (03Exx)

This page was built for publication: An introduction to \(\mathsf{AD}^+\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7355174)