User Jacob Denson

27 votes

2 answers

2k views

Why can't we formalize the lambda calculus in first order logic?

asked Feb 22, 2017 at 21:54

6 votes

0 answers

545 views

The Universal Property of Projective Space

asked May 9, 2017 at 17:42

6 votes

1 answer

391 views

Where does Gelfand Theory fail for non-commutative algebras.

asked Mar 7, 2016 at 4:10

5 votes

1 answer

517 views

Are all finite dimensional algebras over the real numbers `Banach algebra'-able

asked Mar 10, 2017 at 23:03

5 votes

0 answers

202 views

Proving a function of the empirical distribution is a Martingale

asked Nov 2, 2017 at 5:15

5 votes

1 answer

474 views

Dyadic Decomposition For Oscillatory Integral

asked Apr 23, 2020 at 19:44

5 votes

1 answer

215 views

Direct limits of topological vector spaces

asked Feb 17, 2022 at 20:42

5 votes

0 answers

79 views

Lower Dimensional Scalar Densities on a Manifold

asked Mar 17, 2020 at 0:05

4 votes

0 answers

50 views

Why is the multiplication map $C_c^\infty \times C^\infty \to C_c^\infty$ not continuous?

asked Jun 17, 2022 at 21:05

4 votes

1 answer

548 views

Inequality for Weak $L^p$ spaces

asked Oct 3, 2019 at 15:46

4 votes

0 answers

79 views

Second order Terms from the Laplacian and Lie Bracket

asked Dec 5, 2017 at 0:44

4 votes

1 answer

127 views

Subnets and compactness in $\{ 0, \dots, 9 \}^{[0,1]}$

asked Sep 21, 2016 at 17:55

3 votes

1 answer

204 views

An Error in a Proof that all Banach algebras are symmetric

asked Sep 29, 2016 at 3:00

3 votes

0 answers

169 views

Geometric proof of uniqueness and existence of ordinary differential equations

asked Sep 23, 2017 at 4:37

3 votes

1 answer

283 views

Doesn't the definition of Indistinguishability of Stochastic Processes Depend on a Non-Measurable Set?

asked Oct 16, 2017 at 5:51

3 votes

1 answer

177 views

Two Continuous Extensions of an Operator

asked Oct 4, 2019 at 18:42

3 votes

1 answer

403 views

Reformulating Theta Function Symmetry as a Modular Form

asked Dec 2, 2018 at 23:39

3 votes

1 answer

170 views

Asymptotic Expansions of Symbols Vs Asymptotic Expansion of Pseudodifferential Operators

asked Jun 8, 2021 at 6:47

3 votes

1 answer

213 views

Scale Invariance of Sobolev Norms

asked Sep 1, 2020 at 6:09

3 votes

2 answers

164 views

Density of smooth functions in $L^p$ space on Cantor Set

asked Feb 11, 2021 at 0:51

3 votes

1 answer

98 views

Prove that the Fourier transform of a function agreeing with $1/\log(|x|)$ for $|x| \geq 2$ is integrable.

asked Nov 8, 2021 at 22:33

3 votes

0 answers

54 views

Measure upon which pointwise convergence of averaging operator fails in $L^1$

asked Jun 9, 2019 at 13:09

2 votes

1 answer

744 views

Differentiation in $L^p$ and Weak Differentiation.

asked Dec 18, 2018 at 6:21

2 votes

1 answer

84 views

Is anyone aware of works studying `lp metrics'.

asked Dec 21, 2019 at 21:16

2 votes

1 answer

235 views

When is a weak* Cauchy sequence of measures convergent?

asked Aug 25, 2019 at 15:59

2 votes

1 answer

68 views

What does it mean for F(Lim X) to be 'naturally isomorphic' to Lim(F(X))

asked Jul 23, 2020 at 18:31

2 votes

1 answer

41 views

Simple proof that $\sum_{k = 1}^\infty \sum_{n = 1}^\infty a_k b_n / (k + n) \lesssim (\sum_k a_k^2)^{1/2} (\sum_n b_n^2)^{1/2}$ [closed]

asked Jul 10, 2021 at 7:17

2 votes

1 answer

237 views

Comparison Inequality for Moment Generating Function.

asked Apr 30, 2019 at 22:19

2 votes

1 answer

85 views

Finite models which break the theorem `every injective map is surjective'

asked Feb 28, 2018 at 15:50

2 votes

1 answer

281 views

Establishing an identity between $e^{-x}$ and $e^{-x^2}$ using the Fourier transform.

asked May 18, 2018 at 20:54

Stack Exchange Network

62 Questions

Why can't we formalize the lambda calculus in first order logic?

The Universal Property of Projective Space

Where does Gelfand Theory fail for non-commutative algebras.

Are all finite dimensional algebras over the real numbers `Banach algebra'-able

Proving a function of the empirical distribution is a Martingale

Dyadic Decomposition For Oscillatory Integral

Direct limits of topological vector spaces

Lower Dimensional Scalar Densities on a Manifold

Why is the multiplication map $C_c^\infty \times C^\infty \to C_c^\infty$ not continuous?

Inequality for Weak $L^p$ spaces

Second order Terms from the Laplacian and Lie Bracket

Subnets and compactness in $\{ 0, \dots, 9 \}^{[0,1]}$

An Error in a Proof that all Banach algebras are symmetric

Geometric proof of uniqueness and existence of ordinary differential equations

Doesn't the definition of Indistinguishability of Stochastic Processes Depend on a Non-Measurable Set?

Two Continuous Extensions of an Operator

Reformulating Theta Function Symmetry as a Modular Form

Asymptotic Expansions of Symbols Vs Asymptotic Expansion of Pseudodifferential Operators

Scale Invariance of Sobolev Norms

Density of smooth functions in $L^p$ space on Cantor Set

Prove that the Fourier transform of a function agreeing with $1/\log(|x|)$ for $|x| \geq 2$ is integrable.

Measure upon which pointwise convergence of averaging operator fails in $L^1$

Differentiation in $L^p$ and Weak Differentiation.

Is anyone aware of works studying `lp metrics'.

When is a weak* Cauchy sequence of measures convergent?

What does it mean for F(Lim X) to be 'naturally isomorphic' to Lim(F(X))

Simple proof that $\sum_{k = 1}^\infty \sum_{n = 1}^\infty a_k b_n / (k + n) \lesssim (\sum_k a_k^2)^{1/2} (\sum_n b_n^2)^{1/2}$ [closed]

Comparison Inequality for Moment Generating Function.

Finite models which break the theorem `every injective map is surjective'

Establishing an identity between $e^{-x}$ and $e^{-x^2}$ using the Fourier transform.