User nate ackerman - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T03:45:48Z http://mathoverflow.net/feeds/user/8106 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/127045/fixed-point-theorems/127052#127052 Answer by Nate Ackerman for Fixed point theorems Nate Ackerman 2013-04-10T06:12:30Z 2013-04-10T06:12:30Z <p><strong><a href="http://en.wikipedia.org/wiki/Kleene%27s_recursion_theorem" rel="nofollow">Kleene's Second Recursion Theorem</a></strong> If $F$ is a total computable function then there is an index $e$ such that $\{e\} \simeq \{F(e)\}$.</p> <p>This has many applications such as effective transfinite recursion. </p> http://mathoverflow.net/questions/127045/fixed-point-theorems/127051#127051 Answer by Nate Ackerman for Fixed point theorems Nate Ackerman 2013-04-10T06:04:00Z 2013-04-10T06:04:00Z <p><strong><a href="http://en.wikipedia.org/wiki/Knaster%E2%80%93Tarski_theorem" rel="nofollow">Knaster-Tarski's fixed point theorem</a></strong>: If $L$ is a complete lattice and $f:L \rightarrow L$ is order preserving, then the set of fixed points of $f$ form a (non-empty) complete lattice.</p> http://mathoverflow.net/questions/125890/barwise-compactness-theorem/125962#125962 Answer by Nate Ackerman for Barwise compactness theorem Nate Ackerman 2013-03-30T01:02:34Z 2013-03-30T01:32:47Z <p>This is a good question. The issue though is you have made several assumptions on your model $\mathcal{M}$ which cannot all hold simultaneously. To be precise lets enumerate the assumptions you have made:</p> <p>(1) $\mathcal{M}$ is a model whose underlying set consists of urelements</p> <p>(2) There is a relation $\lt$ in the language of $\mathcal{M}$ where $(\mathcal{M},&lt;^{\mathcal{M}})$ is isomorphic to $(\omega, \in)$.</p> <p>(3) There is an admissible set $A$ such that $\mathcal{M} \in A$ and $o(A) = \omega$.</p> <p>To see that these three things can't all happen simultaneously suppose $A$ is any admissible set containing an $\mathcal{M}$ that satisfies (1) and (2) and let </p> <p>$\varphi :=(\exists m \in \mathcal{M})(\exists x$ an ordinal $) [m'\in M:m' &lt; m] \cong x$</p> <p>This is a $\Sigma_1$ formula which holds in $A$ and hence by reflection there is a set $a \in A$ such that </p> <p>$\varphi^a :=(\exists m \in \mathcal{M})(\exists x\in a$ an ordinal $) [m'\in M:m' &lt; m] \cong x$</p> <p>which also holds in $A$.</p> <p>But then by assumption every finite ordinal is in $a$ and so by $\Delta_1$ separation we have $\omega \in A$ and $o(A) > \omega$, thus contradicting (3). </p> http://mathoverflow.net/questions/110877/effect-of-large-cardinals-on-the-value-of-omega-1l-in-l Effect of large cardinals on the value of $\omega_1^L$ in $L$ Nate Ackerman 2012-10-28T05:47:52Z 2012-10-28T13:19:43Z <p>I have three three questions, the first two of which probably have the same answer and the third of which is more vague. </p> <p>For a set $A$ let $L_\alpha(A)$ be the constructible universe up to $\alpha$, built from $A$ as a set (and not a predicate). Further let $X = (B, f)$ where $B$ is a transitive set and $f$ is a bijection from $\omega$ to $B$. </p> <p>Also assume that the background universe has whatever large cardinals you would like (or that would be helpful). In particular though there is at least one inaccessible cardinal in $L$. </p> <p>(1) Suppose $L_\alpha\models ZFC$. Is it the case that $\omega_1^L = \omega_1^{L_\alpha}$?</p> <p>(2) Suppose $L_\alpha(X)\models ZFC$. Is it the case that $\omega_1^{L(X)} = \omega_1^{L_\alpha(X)}$?</p> <p>(3) If the answer to (1), (2) is yes, is there any simpler way for $L_\alpha$ to know that $\omega_1^{L_\alpha} = \omega_1^L$ (other than $L_\alpha\models ZFC$)?</p> <p>Finally I will just make one observation to highlight why this question isn't trivial. If you replace $ZFC$ with $KP$ then there are many countable admissible sets $L_\alpha\models KP$ with countable (in $L$) ordinals $\beta\in L_\alpha$ such that $L_\alpha \models \omega_1 = \beta$. </p> <p>Thanks</p> http://mathoverflow.net/questions/110281/proper-class-forcing-vs-forcing-with-a-set-of-conditions-bigger-than-ones-model/110306#110306 Answer by Nate Ackerman for Proper class forcing vs forcing with a set of conditions bigger than one's model Nate Ackerman 2012-10-22T07:53:48Z 2012-10-22T07:53:48Z <p>To pin down terms lets say "large set forcing" is what you described above where you assume there is an inaccessible $\kappa$, apply a forcing $P$ of size at least $\kappa$ (i.e. a large set forcing) and then look at $V[G]_{\kappa}$ where $G$ is generic for $P$ over $V$. </p> <p>Lets then call "class forcing" what is done when you force with a carefully defined class as in, for example, the book "Fine Structure and Class Forcing" by Sy D. Friedman. </p> <p>There are two issues (as I see them) with large set forcing which class forcing attempts to address. </p> <p>First, in general it is not the case that with a large set forcing $V[G]_\kappa$ will be a model of ZFC. For example, unless you choose your partial order very carefully, there is no reason to believe that in $V[G]$ that $\kappa$ is even inaccessible. Class forcing gets around this issue by adding conditions on the definable forcing to ensure that when all is said and done the result is still a model of ZFC</p> <p>The second issue is that in large set forcing you are, by assumption, not dealing with all of the sets. Specifically you can't both assume that there is an inaccessible, use that fact to construct a partial order which wouldn't exist without one, and then say "a ha" there really wasn't an inaccessible. </p> <p>That being said you are right that very often, especial in category theory, people act as if the universe is really just a set and assume they won't get into trouble. And in fact there are good mathematical reasons for why you can do this (if you are interested I would recommend Feferman's "Set-theoretical foundations of category theory"). </p> <p>Very roughly speaking, there are systems equi-consistent with ZFC which have a class/set distinction where the classes aren't just subclasses of the universe of sets (but rather some not specified combination of subclasses, subsubclasses, etc.) These systems are then able to stay equiconsistent with ZFC because their collection of non-set classes is only required to satisfy a minimal amount of separate/replacement (at least with non-set parameters). A good example of a set theory which does this (in addition to Feferman's mentioned above) is Ackermann's set theory. </p> <p>What helped me internalize why this collection of non-set classes can't be forced to satisfy many of the separation/replacement axioms which we would like, was the realization that Morse-Kelly Set theory, which differs from Godel-Berney's set theory only in that comprehension is allowed to have set variables, has strictly greater consistency strength. </p> <p>Anyhow, getting back to class forcing. In some sense one of the main things class forcing is really doing is making sense of how one forces when one does not necessarily have the closure properties which are satisfied by sets (but not by classes). </p> http://mathoverflow.net/questions/110048/higher-categorical-analogue-of-concreteness/110059#110059 Answer by Nate Ackerman for Higher categorical analogue of concreteness Nate Ackerman 2012-10-19T02:36:51Z 2012-10-19T02:36:51Z <p>If you require you category to be actually small (and not just locally small) then the answer is yes. </p> <p>Suppose $C$ is a small category. We can then define the category $C'$ as follows:</p> <ul> <li>Objects($C'$) = ${ C/t: t \in$ Object(C)$}$</li> <li>Morphisms($C'$) are functors between the corresponding categories</li> </ul> <p>There is then a functor $F:C \rightarrow C'$ where </p> <ul> <li>$F(t) = C/t$ for any object $t$ of $C$</li> <li><p>For any map $\alpha:s \rightarrow t$ in $C$, $F(\alpha):C/s \rightarrow C/t$ is the functor where:</p> <ul> <li><p>When $\beta:p \rightarrow s$ is an object of $C/s$ then $F(\alpha)(\beta) = \alpha \circ \beta:p \rightarrow t$ is the corresponding object of $C/t$.</p></li> <li><p>Suppose $P:p\rightarrow s$ and $Q:q\rightarrow s$ are objects of $C/s$ and $g: P \rightarrow Q$ is a morphism in $C/s$ (i.e. a map $g:p \rightarrow q$ such that $q \circ g = p$). </p> <p>Then $F(\alpha)(\gamma) = g$ (as a map from $F(\alpha)(P) \rightarrow F(\alpha)(Q)$)</p></li> </ul></li> </ul> <p>When dealing with locally small (but not necessarily small) categories however you have to be careful about set theoretic size issues. </p> http://mathoverflow.net/questions/104646/topological-spaces-determined-by-generalized-metric-spaces/104657#104657 Answer by Nate Ackerman for Topological spaces determined by generalized metric spaces Nate Ackerman 2012-08-14T00:08:12Z 2012-08-14T00:08:12Z <p>This isn't an answer to exactly your question, but it has been proved that all topological spaces come from suitably generalized metric spaces. Specifically in ''All Topologies Come From Generalized Metric Spaces'' by Ralph Kopperman in The American Mathematical Monthly he shows that any topological space can be obtained from a generalized metric space where you weaken the axioms and replace $\mathbb{R}$ by a suitable semi-group with certain properties. </p> <p>It also was shown in ''Quantales and continuity spaces'' by R. C. Flagg in Algebra Universalis that all topological spaces can be obtained by suitable weakenings of the axioms of a metric space and replacing $\mathbb{R}$ by quantales. This is, to my mind, particularly nice as the resulting generalized objects are essentially just categories enriched in the quantale. </p> http://mathoverflow.net/questions/11540/what-are-the-most-attractive-turing-undecidable-problems-in-mathematics/103416#103416 Answer by Nate Ackerman for What are the most attractive Turing undecidable problems in mathematics? Nate Ackerman 2012-07-28T23:59:15Z 2012-07-30T09:18:38Z <p>Given a finite relational language with at least one binary relation, the question of which formulas are finitely satisfiable (i.e. realized in at least one finite structure) is $\Sigma^0_1$ but not computably enumerable (by <a href="http://en.wikipedia.org/wiki/Trakhtenbrot%27s_theorem" rel="nofollow">Trakhtenbrot's Theorem</a>)</p> http://mathoverflow.net/questions/48771/proofs-that-require-fundamentally-new-ways-of-thinking/84767#84767 Answer by Nate Ackerman for Proofs that require fundamentally new ways of thinking Nate Ackerman 2012-01-02T20:33:34Z 2012-01-02T20:33:34Z <p>Barwise compactness and $\alpha$-recursion theory. The idea many properties of the following are captured by thinking of how to define analogs in $V_\omega$: </p> <p>(1) Finite sets are elements of $V_{\omega}$.</p> <p>(2) Computable sets can are $\Delta_1$ definable over $V_{\omega}$. </p> <p>(3) Computable enumerable sets can are $\Sigma_1$ definable over $V_{\omega}$. </p> <p>(4) First order logic is $L_{\infty, \omega} \cap V_\omega$.</p> <p>Then, if we replace $V_\omega$ by a different countable admissible set $A$, many of the results relating these classes have analogs. E.g. Barwise compactness, completeness, the existence of an $A$-Turing jump, ... </p> http://mathoverflow.net/questions/81143/measure-on-omega-1 Measure on $\omega_1$ Nate Ackerman 2011-11-17T05:29:30Z 2011-11-18T03:36:22Z <p>Let $\mathcal{O}$ be the $\sigma$-algebra on $\omega_1$ generated by its countable subsets. Is there a ($\sigma$-additive) probability measure on $\mathcal{O}$ that is not concentrated on a countable set? (I am trying to construct a real random variable whose support has size $\aleph_1$.)</p> http://mathoverflow.net/questions/51408/computable-distribution-on-0-1-with-c-infinity-distribution-function Computable distribution on [0,1] with C-infinity distribution function Nate Ackerman 2011-01-07T16:02:38Z 2011-01-07T16:02:38Z <p>Does anyone know of an easily-describable distribution on $[0,1]$ with a density $p$ (with respect to Lebesgue measure) that satisfies the following properties:</p> <ol> <li>$p$ is $C^\infty$</li> <li>$p(0) = a$, $p(1) = b$ (for fixed real numbers $a$, $b$)</li> <li>every derivative of $p$ at 0 and 1 is 0</li> <li>p is computable (informally, we can compute $p$ at any point to arbitrary accuracy)</li> </ol> http://mathoverflow.net/questions/42929/suggestions-for-good-notation/119781#119781 Comment by Nate Ackerman Nate Ackerman 2013-01-24T23:24:03Z 2013-01-24T23:24:03Z What would you write for $|x-y|\geq \epsilon$? http://mathoverflow.net/questions/110877/effect-of-large-cardinals-on-the-value-of-omega-1l-in-l Comment by Nate Ackerman Nate Ackerman 2012-10-28T13:17:33Z 2012-10-28T13:17:33Z @ Goldstern: I changed $L_\kappa$ to $L_\alpha$. Thanks http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-19T00:08:47Z 2012-10-19T00:08:47Z If you are interested here is a link to the slides of the talk I gave at the joint meetings a couple of years ago [Sheaf Induction](<a href="http://www.math.harvard.edu/~nate/talks/Berkeley/2009/Trees,%20Sheaves%20and%20Definition%20by%20Recursion/Jan.%2016,%202010/pdf.pdf" rel="nofollow">math.harvard.edu/~nate/talks/Berkeley/2009/&hellip;</a>) As for the paper, I am in the process of putting the final touches on it and hope to post it soon. http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-19T00:08:44Z 2012-10-19T00:08:44Z @O a: Thanks for the clarification. With regards to the connection between sheaves and trees, part of my thesis actually is dedicated to that connection and how one can generalize transfinite recursion to &quot;well-founded&quot; sheaves which aren't trees. While I had to discover the connection by myself, and while I haven't seen it anywhere else, it wouldn't surprise me of someone else had noticed it before me. http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T21:01:00Z 2012-10-15T21:01:00Z @O a: Also, could you please highlight exactly where your question is in the post. I read through it and couldn't identify it. Thanks. http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T21:00:24Z 2012-10-15T21:00:24Z But if $F^*$ is the corresponding tree then $|F^*(\omega)| = |2^{\omega}|$ http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T21:00:04Z 2012-10-15T21:00:04Z @O a: I agree with Joel that your definition of a sheaf on $\kappa$ is guaranteed to be a $\kappa$-tree only if $\kappa$ is inaccessible. Further, for non-inaccessible cardinals, if $F$ is the sheaf corresponding to $T$, then it may be the case that $T$ is a $\kappa$-tree but there is some $\alpha &lt; \kappa$ with $|F(\alpha)| \geq \kappa$. For example consider the tree $T^*$ consisting of all maps from $n\rightarrow \{0,1\}$ for $n \in \omega$ along with all constant maps $f_\alpha:\alpha \rightarrow\{0\}$ for $\alpha \leq \omega_1$. $T^*$ is clearly an $\omega_1$ tree. http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T18:52:08Z 2012-10-15T18:52:08Z 3) Generally $\cup X$ means take the union over all element in the set $X$ where as $\cup_{P} X(x)$ means take the union over the set $\{X(x): P(x)$ holds $\}$. So I believe it would be clearer to write $\cup_{\beta &lt; \alpha} F(\beta)$ and not $\cup \beta &lt; \alpha F(\beta)$ And finally to anyone who isn't o a who is reading this. I apologize if it isn't correct etiquette to put so many corrections in the comments, but I don't have enough reputation points to edit the post myself (and I would welcome being told of any other way to pass along the info if there is one) http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T18:44:13Z 2012-10-15T18:44:13Z (although the correct answer can be inferred from the context we have to read the rest of the sentence to understand what the object is, or even that it is a single object and not two). As an example, writing $\{f_i:\alpha⟶2,i&lt;\kappa\}$ takes care of this issue. 2) I would suggest never writing a quantifier after the thing it is quantified. Specifically I would write $F(j+1)=\{g:(\forall i \leq j)g|\alpha\neq f_i\}$ instead of $F(j+1)=\{g:g|\alpha\neq f_i \forall i \leq j\}$ http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T18:35:15Z 2012-10-15T18:35:15Z Lastly, there are a couple of presentation issues which I think will make the post much cleaner (although obviously these are my personal preference). 1) When defining a sequence it is helpful to have some form of delimiter joining the description of the sequence as well as the conditions on the indexes. Specifically: $f_i:\alpha⟶2,i&lt;\kappa$ it is unclear if you are defining a sequence here, or are defining a unique function with an index $i$ that you are requiring to be less than $\kappa$ http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T18:33:09Z 2012-10-15T18:33:09Z The second reason this proof doesn't work (or is at least incomplete) is that you haven't shown that $\kappa$ is regular. So, for example this proof doesn't show that $\beth_\omega$ doesn't have (WC). http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T18:33:06Z 2012-10-15T18:33:06Z Third, I don't believe your argument that (WC) implies inaccessibility is correct for two reasons. First you are making fundamental use of the assumption that $\kappa = |2^\alpha|$. However it is possible to have $\kappa$ not be inaccessible and yet for this still not to hold. For example consider the case $|2^{\omega}| = \omega_2$. In this situation $\omega_1$ is not equal to $|2^{\alpha}|$ for any $\alpha$. http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T18:32:39Z 2012-10-15T18:32:39Z While I am not trying to do self-promoting here you might want to check out my slides [Sheaf Recursion](<a href="http://www.math.harvard.edu/~nate/talks/Berkeley/2009/Trees,%20Sheaves%20and%20Definition%20by%20Recursion/Jan.%2016,%202010/pdf.pdf" rel="nofollow">math.harvard.edu/~nate/talks/Berkeley/2009/&hellip;</a>) to see an explanation in the case of $\kappa=\omega$. http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T18:32:29Z 2012-10-15T18:32:29Z Second, according to your definition $F(1) \subseteq F(\omega \cdot \alpha)$ for any $\alpha$. If $y \in F(1)$ then what is $y|_{\omega, 2}$ (the restriction of $y$ as an element of $F(\omega)$ to an element of $F(2)$? I think what you want to do is use the fact that every $\kappa$-branching tree can be viewed as a subtree of $\kappa^{&lt;\kappa}$ and then use the fact that $\kappa^{&lt;\kappa}$ is a collection of functions to define your sheaf. http://mathoverflow.net/questions/109695/large-cardinal-tree-properties-as-properties-of-sheaves Comment by Nate Ackerman Nate Ackerman 2012-10-15T18:32:12Z 2012-10-15T18:32:12Z @o a: Thanks for the updated version. It is much clearer what is going on. However I still do have several points. First, your definition of a Grothendieck topology isn't quite right as the covers aren't sieves (see [Grothendieck topology](<a href="http://en.wikipedia.org/wiki/Grothendieck_topology" rel="nofollow">en.wikipedia.org/wiki/Grothendieck_topology</a>)). What you have is a Grothendieck pretopology. The difference is, approximately, the difference between a topology and a basis for a topology.