Corrigenda to “Incompleteness and jump hierarchies”
HTML articles powered by AMS MathViewer
- by Patrick Lutz and James Walsh
- Proc. Amer. Math. Soc. 149 (2021), 3143-3144
- DOI: https://doi.org/10.1090/proc/15421
- Published electronically: April 1, 2021
- PDF | Request permission
Original Article: Proc. Amer. Math. Soc. 148 (2020), 4997-5006.
Abstract:
We correct an error in the statement of a theorem in our paper “Incompleteness and jump hierarchies” [Proc. Amer. Math. Soc. 148 (2020), pp. 4997–5006].References
- Patrick Lutz and James Walsh, Incompleteness and jump hierarchies, Proc. Amer. Math. Soc. 148 (2020), no. 11, 4997–5006. MR 4143409, DOI 10.1090/proc/15125
- Carl Mummert and Stephen G. Simpson, An incompleteness theorem for $\beta _n$-models, J. Symbolic Logic 69 (2004), no. 2, 612–616. MR 2058191, DOI 10.2178/jsl/1082418545
Bibliographic Information
- Patrick Lutz
- Affiliation: Department of Mathematics, University of California, Berkeley, California 94720
- MR Author ID: 1399453
- ORCID: 0000-0001-9930-4183
- Email: pglutz@berkeley.edu
- James Walsh
- Affiliation: Department of Philosophy, Cornell University, Ithaca, New York 14853
- MR Author ID: 1312343
- Email: jameswalsh@cornell.edu
- Received by editor(s): October 26, 2020
- Received by editor(s) in revised form: November 4, 2020
- Published electronically: April 1, 2021
- Communicated by: Heike Mildenberger
- © Copyright 2021 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 149 (2021), 3143-3144
- MSC (2020): Primary 03F35, 03D55; Secondary 03F40
- DOI: https://doi.org/10.1090/proc/15421
- MathSciNet review: 4257822