@misc{setzer:AbstractLogcoll2026:ExtendedSchuetteKlammer,
author = {Anton Setzer},
title = {{Bachann-Howard from below}},
note = {Abstract, accepted for Logic Colloquium 2026 \url{https://logiccolloquium2026.github.io/}. To appear in Bulletin of Symbolic Logic},
url={https://csetzer.github.io/articles/logicColloquium/2026/abstractLogColl2026-BachmannFromBelowFinalSubmission.pdf},
year = {2026}
}