Skip to main content
Thomas Benjamin's user avatar
Thomas Benjamin's user avatar
Thomas Benjamin's user avatar
Thomas Benjamin
  • Member for 12 years, 11 months
  • Last seen this week
awarded
comment
Can $\{x \mathrel| \text{$\varphi_{x}$ total}\}$ be deemed a "lost melody" relative to classical recursion theory?
So what makes ITTMs have lost melodies since ITTMs are just TMs left to run and halt at some limit ordinal?
awarded
comment
Category-theoretic characterization of $L$
@JamesEHanson: Interesting idea! Any possible ideas of what that 'tweak' might be?
comment
Category-theoretic characterization of $L$
@james e. hanson: Thank you! Lots of food for thought.
awarded
awarded
comment
Axiomatic strength of the cumulative hierarchy
@TimButton: Thanks for clarifying.
comment
Axiomatic strength of the cumulative hierarchy
@TimButton: Does $\mathbf Unbounded$ hold at the first strongly inaccessible cardinal? And do you mention the existence of the first strongly inaccessible cardinal in your published paper?
comment
Axiomatic strength of the cumulative hierarchy
@TimButton: Thank you. Very helpful.
comment
Axiomatic strength of the cumulative hierarchy
@AlecRhea: Is it possible to provide us the definitions of $\mathbf Endless$, $\mathbf Infinity$, and $\mathbf Unbounded$? It would help me ( and others) see how these three axioms are related as to the height of this hierarchy. Is there in fact a theorem in the paper you quoted that so relates these three axioms? Thanks in advance for supplying the requested info.
awarded
awarded
revised
Loading…
comment
revised
Loading…
accepted
comment
Further research on $\mathrm L_{\infty}$
Also, why do we need to assume that $M$ is a model of $ZFC$? Shouldn't $L^{M}_{\infty}$ = $M$ if $M$ is just a model of $ZF$?
comment
Further research on $\mathrm L_{\infty}$
Can one have the following situation: $L_{\infty}$ is countable (and if so then since $L^{M}_{\infty}$ = $M$ if one has that $M$ is a ctm of $ZF$, can one have generic extensions of $L^{M}_{\infty}$)?
1
2 3 4 5
70