Dávid Tóth
Reputation
838
Next privilege 1,000 Rep.
Create new tags
 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$