Profile Activity

Reveillark

Meta user

Network profile

Reputation

4,907

4.9k
3.6k
2.2k

2016
2017
2018
2019

Top tag

calculus

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

Newest

Yearling

Next badge

0/1

Impact

36 posts edited

2 helpful flags

144 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

86 Questions

Views Newest Activity Votes

votes

answer

205

views

Closure of an orbit and quotient topology

Nov 2 '17 at 18:17 Moishe Kohan 53k

votes

answers

405

views

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

complex-analysis

Sep 24 '15 at 16:43 Community♦ 1

votes

answers

103

views

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

calculus sequences-and-series

Jun 16 '15 at 7:00 Alberto Debernardi 2,802

votes

answer

103

views

Shooting a club is Baire

set-theory forcing

May 9 at 4:59 Not Mike 381

votes

answer

views

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

set-theory forcing

Apr 19 at 16:57 Andreas Blass 53k

votes

answers

views

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

proof-verification descriptive-set-theory

Mar 17 at 14:11 Leijie Wang 36

votes

answer

102

views

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

differential-geometry curves

Sep 6 '15 at 19:47 Matematleta 13.5k

votes

answer

views

Reals and collapsing posets

set-theory forcing

Apr 3 at 7:36 Asaf Karagila♦ 316k

votes

answer

views

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

set-theory boolean-algebra forcing

Jul 15 at 19:50 Andreas Blass 53k

votes

answer

views

Discrete subset of a separable and normal space is countable

general-topology

Aug 13 '18 at 3:51 Henno Brandsma 128k

votes

answer

147

views

Metamathematics of Kunen's proof of the Truth and Definability Lemmas

set-theory forcing

Dec 21 '17 at 14:38 Asaf Karagila♦ 316k

votes

answers

views

Wandering sets and quasi invariant measures

ergodic-theory

Oct 27 '17 at 23:34 Reveillark 4,907

votes

answer

158

views

Equicontinuity of $\{f^n\}$ for a continuous $f:X\rightarrow X$

metric-spaces equicontinuity

May 6 '17 at 17:20 user443937 1

votes

answers

views

$T$-Invariant sub-$\sigma$-algebra definition

measure-theory ergodic-theory

May 1 '17 at 22:39 Reveillark 4,907

votes

answer

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

elementary-set-theory proof-verification cardinals

Nov 17 '16 at 13:32 Brian M. Scott 467k

votes

answers

views

Bernstein sets are sets of uniqueness

descriptive-set-theory trigonometric-series

Aug 7 '16 at 2:08 Reveillark 4,907

votes

answer

views

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

reference-request descriptive-set-theory trigonometric-series

Aug 2 '16 at 19:37 Andrés E. Caicedo 67k

votes

answer

185

views

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

differential-geometry surfaces

May 13 '16 at 18:33 Ted Shifrin 68.8k

votes

answers

views

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

complex-analysis plane-curves

Nov 4 '15 at 19:07 zhw. 77.9k

votes

answers

views

Question regarding specific limits

calculus limits

May 21 '15 at 6:33 davidlowryduda♦ 76.3k

votes

answers

443

views

k-Cells are Connected

real-analysis metric-spaces connectedness

Nov 2 '14 at 4:00 wxm5539 66

votes

answer

views

Weakening of the perfect set property

reference-request set-theory forcing

May 4 at 21:56 Asaf Karagila♦ 316k

votes

answer

views

Finding canonical names for equivalence classes

set-theory forcing

Mar 27 at 1:32 Asaf Karagila♦ 316k

votes

answers

107

views

Set of primitive recursive functions is not finitely generated

logic recursion

Feb 4 at 2:35 Reveillark 4,907

votes

answer

177

views

Metrizability of the strong operator topology on the set of unitary operators of a separable Hilbert space

functional-analysis hilbert-spaces

Nov 11 '17 at 19:34 Demophilus 3,343

votes

answer

views

Ergodicity of group action on a generating family

group-actions ergodic-theory

Nov 8 '17 at 8:17 mathworker21 11.1k

votes

answer

views

Bounding the coefficients of certain Möbius transformations

complex-analysis mobius-transformation

Aug 2 '17 at 1:42 zhw. 77.9k

votes

answers

119

views

The action of $PSL_2(\mathbb{R})$ on $\mathbb{H}$ is proper

group-actions hyperbolic-geometry

Jul 29 '17 at 16:42 Myridium 2,064

votes

answer

105

views

Ergodic $\mathbb{Z}^2$ action

ergodic-theory

Jun 12 '17 at 22:32 Lukas Geyer 14.2k

votes

answers

513

views

Discrete Sets in Certain Metric Spaces are Countable

real-analysis metric-spaces

May 11 '17 at 16:51 Pritthijit Biswas 1

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

86 Questions

Closure of an orbit and quotient topology

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

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

Shooting a club is Baire

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

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

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

Reals and collapsing posets

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

Discrete subset of a separable and normal space is countable

Metamathematics of Kunen's proof of the Truth and Definability Lemmas

Wandering sets and quasi invariant measures

Equicontinuity of $\{f^n\}$ for a continuous $f:X\rightarrow X$

$T$-Invariant sub-$\sigma$-algebra definition

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

Bernstein sets are sets of uniqueness

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

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

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

Question regarding specific limits

k-Cells are Connected

Weakening of the perfect set property

Finding canonical names for equivalence classes

Set of primitive recursive functions is not finitely generated

Metrizability of the strong operator topology on the set of unitary operators of a separable Hilbert space

Ergodicity of group action on a generating family

Bounding the coefficients of certain Möbius transformations

The action of $PSL_2(\mathbb{R})$ on $\mathbb{H}$ is proper

Ergodic $\mathbb{Z}^2$ action

Discrete Sets in Certain Metric Spaces are Countable