Skip to main content
MathOverflow

Return to Answer

fix link
Source Link
Emil Jeřábek
Emil Jeřábek
  • 47.3k
  • 4
  • 149
  • 209

For an argument that the iterative conception implies something weaker than unrestricted Separation (implied by unrestricted Replacement), i.e. ∑2$\Sigma_2$ Replacement, see Randall Holmes 2001 http: //math.boisestate.edu/~holmes/holmes/sigma1slides.pshttp://math.boisestate.edu/~holmes/holmes/sigma1slides.ps. (According to Professor Holmes, “this contain[s] an error, which Kanamori pointed out to me and which I know how to fix.”)

For an argument that the iterative conception implies something weaker than unrestricted Separation (implied by unrestricted Replacement), i.e. ∑2 Replacement, see Randall Holmes 2001 http: //math.boisestate.edu/~holmes/holmes/sigma1slides.ps. (According to Professor Holmes, “this contain[s] an error, which Kanamori pointed out to me and which I know how to fix.”)

For an argument that the iterative conception implies something weaker than unrestricted Separation (implied by unrestricted Replacement), i.e. $\Sigma_2$ Replacement, see Randall Holmes 2001 http://math.boisestate.edu/~holmes/holmes/sigma1slides.ps. (According to Professor Holmes, “this contain[s] an error, which Kanamori pointed out to me and which I know how to fix.”)

Source Link
Flash Sheridan
Flash Sheridan
  • 723
  • 9
  • 7

For an argument that the iterative conception implies something weaker than unrestricted Separation (implied by unrestricted Replacement), i.e. ∑2 Replacement, see Randall Holmes 2001 http: //math.boisestate.edu/~holmes/holmes/sigma1slides.ps. (According to Professor Holmes, “this contain[s] an error, which Kanamori pointed out to me and which I know how to fix.”)