Reputation
838
Next privilege 1,000 Rep.
Create new tags
Badges
6 17
Impact
~20k people reached

Mar
25
accepted What is the internal hom functor in the context of an internally projective object?
Mar
25
revised What is the internal hom functor in the context of an internally projective object?
deleted 4 characters in body
Mar
25
asked What is the internal hom functor in the context of an internally projective object?
Mar
13
awarded  Popular Question
Mar
12
comment Errata for Rogers' Computability book
For example the Homotopy type theory book HoTT was written using GitHub.
Dec
16
accepted $\alpha$-computable bounded subset of $\alpha$ is in $L_\alpha$
Dec
16
revised $\alpha$-computable bounded subset of $\alpha$ is in $L_\alpha$
edited body
Dec
16
asked $\alpha$-computable bounded subset of $\alpha$ is in $L_\alpha$
Jun
25
awarded  Notable Question
May
22
awarded  Civic Duty
May
21
awarded  Yearling
May
16
comment To prove a language is not recursive
Suppose you want to find out whether some Turing machine accepts at least one word, so you run it in parallel on more and more inputs waiting to see if it would halt at least on one of them. Can you see the analogy now? Its formalisation is the solution.
May
11
comment The number of subsets of cardinality less than $\kappa$ of a cardinal $\kappa$ is $\kappa$
The true comment above relates to the original question where I did not include the assumption of $GCH$.
May
11
revised The number of subsets of cardinality less than $\kappa$ of a cardinal $\kappa$ is $\kappa$
added 4 characters in body
May
11
revised The number of subsets of cardinality less than $\kappa$ of a cardinal $\kappa$ is $\kappa$
added 51 characters in body
May
11
revised The number of subsets of cardinality less than $\kappa$ of a cardinal $\kappa$ is $\kappa$
Attempt to give more context to the question.
May
8
accepted The number of subsets of cardinality less than $\kappa$ of a cardinal $\kappa$ is $\kappa$
May
8
revised The number of subsets of cardinality less than $\kappa$ of a cardinal $\kappa$ is $\kappa$
added 68 characters in body
May
8
comment The number of subsets of cardinality less than $\kappa$ of a cardinal $\kappa$ is $\kappa$
I forgot to mention I work in Godel's constructible $L$ and hence $2^\lambda = \lambda^+ = \kappa$.
May
8
asked The number of subsets of cardinality less than $\kappa$ of a cardinal $\kappa$ is $\kappa$