Timeline for answer to "Largish" cardinals by Joel David Hamkins

8 events

when toggle format	what		by	license	comment
Apr 13, 2017 at 12:58	history	edited	CommunityBot		replaced http://mathoverflow.net/ with https://mathoverflow.net/
Dec 13, 2015 at 11:30	vote	accept	Gro-Tsen
Dec 9, 2015 at 22:37	comment	added	Joel David Hamkins		Yes, that's right. Officially, it is defined with $H_\kappa\prec_n V$, but this difference only matters for $n=1$, since once $n\geq2$ then we have $H_\kappa=V_\kappa$ as you noted.
Dec 9, 2015 at 22:34	comment	added	Gro-Tsen		Thanks! Just to clarify, the $\Sigma_n$-correct cardinals are those which satisfy the second property I mentioned ($V_\kappa \mathrel{\prec_n} V$). The first (viz., $V_\kappa \models \mathsf{ZC} + \Sigma_n\textrm{-replacement}$), is of a different nature since it can be checked by looking at $V_\kappa$ alone. (It's also implied by $\Sigma_n$-correctness, although I'm not sure I didn't miss a $\pm1$ on the $n$ here.) So I'll wait a bit before approving your answer to see if someone (or you yourself) has something to say about that other property.
Dec 9, 2015 at 21:54	history	edited	Joel David Hamkins	CC BY-SA 3.0	added 430 characters in body
Dec 9, 2015 at 21:46	history	edited	Joel David Hamkins	CC BY-SA 3.0	added 174 characters in body
Dec 9, 2015 at 21:18	history	edited	Joel David Hamkins	CC BY-SA 3.0	added 628 characters in body
Dec 9, 2015 at 21:11	history	answered	Joel David Hamkins	CC BY-SA 3.0