Skip to main content
Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins
  • Member for 15 years, 1 month
  • Last seen this week
comment
Can this semi-constructible structure satisfy existence of a measurable cardinal?
Yes, in $L$ we put only constructible sets into $L_{\alpha+1}$, but you allow more sets to go into $\mathfrak{L}_{\alpha+1}$, which opens the door eventually to put any given set in, by first gradually adding its hereditary elements.
revised
Loading…
revised
Loading…
Loading…
awarded
comment
Left shift of transfinite sequences
If you can articulate the desired features of the operator that make it shift-like, then the problem will become: how to prove there is no such operator.
revised
Left shift of transfinite sequences
added 410 characters in body
Loading…
comment
Left shift of transfinite sequences
You can define $\Box a$ to move everybody down to a place where it would be a violation of direct comparision, if possible. This works, but it is a bit like the ad hoc solution in my first comment, so perhaps not what you want.
revised
Left shift of transfinite sequences
added 105 characters in body
Loading…
answered
Loading…
comment
Left shift of transfinite sequences
Shifting within each $\omega$-block does not work, since this will be equivalent to being ascending within each block, but not necessarily overall.
comment
Left shift of transfinite sequences
Your question admits unwanted answers, where $\Box a=a$ if $a$ is ascending, otherwise something not above $a$. So presumably you want to say something more about the nature of the operator to be acceptable.
awarded
awarded
awarded
comment
Does this ZFC+V=L like theory, have a limit on large cardinal properties?
My two axioms have that feature. And yet jointly they imply V=L.
awarded
revised
Loading…
comment
Does this ZFC+V=L like theory, have a limit on large cardinal properties?
You ask two questions, but a negative answer to the first amounts to a positive answer to the second, which makes yes/no confusing.
Loading…
1
10 11
12
13 14
790