user35359
Reputation
643
Top tag
Next privilege 1,000 Rep.
Create new tags
 Oct 2 comment There are 4 girls and 3 boys but only 5 seats. How many ways to seat the 3 boys together? Seems correct to me. Sep 20 accepted Are there meaningful elementary embeddings of transitive models of set theory without a critical point? Sep 18 answered Are there meaningful elementary embeddings of transitive models of set theory without a critical point? Sep 18 revised Are there meaningful elementary embeddings of transitive models of set theory without a critical point? added 33 characters in body Sep 18 comment Are there meaningful elementary embeddings of transitive models of set theory without a critical point? Oh, Sorry, I meant that $j$ does not map every element of $M$ to itself, i.e. is not inclusion, but I wrote $j\neq id$. I'm going to change it. Sep 18 asked Are there meaningful elementary embeddings of transitive models of set theory without a critical point? Sep 17 awarded Yearling Sep 15 comment 1. Measurable sets : uncountable union, 2. null set is disjoint from translated rationals Um, I can't see anything wrong with my post as it is now though. Sep 15 comment 1. Measurable sets : uncountable union, 2. null set is disjoint from translated rationals Note that I was talking about the set $\textbf{remaining}$ after subtracting the obviously open part, as in Both Htob's approach. Sep 15 comment 1. Measurable sets : uncountable union, 2. null set is disjoint from translated rationals We have $A+1 = \{ x+1 \, |\, x\in A\} = \bigcup_{x\in A} \{x+1\}$ and $A-1 = \{ x-1 \, |\, x\in A\} = \bigcup_{x\in A} \{ x-1\}$. These are the definitions of the translations of $A$ by $1$ and $-1$ respectively. Then clearly $\bigcup_{x\in A} \{x+1,x-1\} = \bigcup_{x\in A} \{x+1\} \cup \bigcup_{x\in A} \{x-1\} = (A+1) \cup (A-1)$. Sep 15 comment Sum from $i$ to $\lg(n)$ Well if $m = 2^n$, then by definition of the logarithm $n = log_2(m)$. So if $t_{2^n}$ can be decribed with some formula depending with variable $n$, $t_{2^n} = f(n)$, then $t_m = f(log_2(m))$. So I replaced every instance of $n$ in the formula $f(n)$ by $log_2(n)$ and simplified. Sep 14 comment Intersection of Borel subset with line Yes, that's it. Sep 13 comment Intersection of Borel subset with line The statement in that link is a different one. If $A\subseteq \mathbb{R}^2$ is Borel, then it is not in general true that $\{ x\in \mathbb{R} \, |\, \exists y\in \mathbb{R} (x,y)\in A\}$ is Borel. The proof is not (very) simple. But it is true that for any specific $y\in \mathbb{R}$ the set $\{ x\in \mathbb{R} \, |\, (x,y)\in A\}$ is Borel. Do you see the difference? Sep 13 comment Intersection of Borel subset with line If you prove that (in your first comment), you prove that each Borel set of $\mathbb{R}^2$ is of type $A(y)$ for some Borel set $A$ and $y\in \mathbb{R}$. That's not the same as proving that each $A(y)$ is Borel. The point of my proof is to show that every Borel set $A$ is an element of $M$. Then by definition of $M$, it follows that $A(y)$ is Borel for all $y\in\mathbb{R}$. Here is another proof: Given $A$ Borel and $y\in\mathbb{R}$ consider the function $x\mapsto (x,y)\in\mathbb{R}^2$. It is continuous. Then if you know that the preimage of a Borel set is Borel, you are also done. Sep 13 comment Sum from $i$ to $\lg(n)$ @sonic: You are welcome. marty:The $t_n$ are only defined for $n$ a power of 2. Sep 13 suggested rejected edit on Sum from $i$ to $\lg(n)$ Sep 13 answered Sum from $i$ to $\lg(n)$ Sep 13 comment Nested interval question involving limits Assume that $a0$ so that $a+\varepsilon < c$. Can you use the definition of convergence to obtain a contradiction? Sep 13 comment Can I determine the groups and homomorphisms? What are your ideas? The first and last lines seem pretty easy to figure out. Sep 13 comment Intersection of Borel subset with line Actually, now I think the version with starting with open cubes is the easiest. The thing about the title is that $A(y)$ is not actually intersection with a line (that would be trivially Borel), but intersection followed by projection to one of the coordinates, which is definitely more subtle. This kind of measurability result is needed for the statement of the Fubini Theorem.