user avatar
user avatar
user avatar
Reveillark
  • Member for 8 years, 5 months
  • Last seen this week
9 votes
1 answer
396 views

Closure of an orbit and quotient topology

8 votes
1 answer
123 views

Mostowski collapse of generic extensions of countable elementary submodels

8 votes
1 answer
188 views

Skolem Hulls and countable elementary submodels of $H(\theta)$

7 votes
0 answers
109 views

Use of Power Set in showing that the generic extension satisfies Replacement

7 votes
0 answers
640 views

Analytic function defined in the punctured unit disk real in the unit circle then $f(z)=\overline{f(1/\overline{z})}$

7 votes
3 answers
123 views

If $\sum a_n = +\infty$, with $a_n ≥0$, then we can find two disjoint subseries diverging

6 votes
1 answer
98 views

If $\tau$ is a name, is $\{\sigma:\Vdash \sigma=\tau\}$ a proper class?

6 votes
1 answer
78 views

Recursion theory in $\sf HC$

5 votes
1 answer
88 views

Absoluteness of complexity of sets of reals

5 votes
1 answer
120 views

Random reals in Kamamori's "The Higher Infinite"

5 votes
1 answer
141 views

If $\omega_1$ is inaccessible to the reals, then every $\mathbf{\Sigma}_2^1$ set has the Baire property

5 votes
1 answer
147 views

Shooting a club is Baire

5 votes
1 answer
174 views

Proving that the curvature is given by $\kappa = \frac{\|\gamma ' \times \gamma ''\|}{\|\gamma '\|^3}$

5 votes
0 answers
88 views

If $\alpha<\beta$ are ordinals, then $\Sigma_\alpha^0\subset\Sigma^0_\beta$

4 votes
2 answers
1k views

Discrete Sets in Certain Metric Spaces are Countable

4 votes
1 answer
94 views

Reals and collapsing posets

4 votes
1 answer
78 views

If $P\in H_\kappa$ and $\Vdash_P \tau\in H_\kappa$, then there is $\bar\tau\in H_\kappa$ with $\Vdash_P \tau=\bar\tau$

4 votes
2 answers
76 views

Non-commutative algebra $A$ with a non-trivial maximal ideal $M$ such that $A/M$ is not a division algebra

3 votes
2 answers
95 views

Proving $A \to \exists x B \Rightarrow \exists x (A\to B)$ if $x$ is not free in $A$

3 votes
0 answers
88 views

Uniformization in the Solovay model

3 votes
1 answer
60 views

Proving $\|x=y\|\cdot \|\phi(x)\|\le\|\phi(y)\|$ in Boolean valued models

3 votes
0 answers
135 views

Condensation lemma in Devlin

3 votes
3 answers
572 views

k-Cells are Connected

3 votes
2 answers
68 views

Question regarding specific limits

3 votes
1 answer
126 views

Looking for a proof of the (general) Salem-Zygmund theorem

3 votes
0 answers
80 views

Bernstein sets are sets of uniqueness

3 votes
3 answers
62 views

Finite open covers of a complex $C^{(1)}$ curve.

3 votes
1 answer
467 views

Showing that, at an elliptic point, a surface lies on one side of the tangent plane.

3 votes
1 answer
137 views

If $f:X\to Y$ is continuous, then the induced map $F:K(X)\to K(Y)$ is continuous wrt the Vietoris topology

3 votes
1 answer
105 views

If $1\le\lambda \le \kappa$ are cardinals, with $\kappa$ infinite and $\lambda<\text{cf}(\kappa)$, then every map $\lambda\to\kappa$ is bounded