User Νικολέτα Σεβαστού

2 votes

3 answers

452 views

Linear first order PDE $u_x+u_t=u$ with the method of characteristics

asked Sep 1, 2021 at 11:46

2 votes

1 answer

67 views

Intuitionistic proof of $((p\rightarrow q)\rightarrow p)\rightarrow\neg \neg p$

asked Aug 29 at 16:28

2 votes

1 answer

51 views

Find an inhabitant for type $\phi$

asked Sep 9 at 9:51

1 vote

0 answers

36 views

Is there a combinator such that $M \rightarrow_w Μ$?

asked Sep 25 at 11:15

1 vote

1 answer

93 views

Why is a head redex always the leftmost redex?

asked May 1 at 15:44

1 vote

1 answer

41 views

Does any vertex-transitive graph $G$ have a vertex-transitive line graph $L(G)$?

asked May 4 at 6:49

0 votes

1 answer

22 views

The contraction of a given redex yields a unique result

asked May 9 at 8:59

0 votes

0 answers

32 views

Gauss-Seidel and bound of iterations using the residual norm

asked Aug 16 at 15:32

0 votes

1 answer

27 views

Alpha conversion and free variables

asked Aug 18 at 9:20

0 votes

1 answer

72 views

How to prove that a formula is intuitionistically valid using Kripke semantics?

asked Aug 30 at 14:28

0 votes

0 answers

94 views

$\mathbb{Z}[i]$-modules with 101 elements and cyclic $\mathbb{Z}[i]$-torsion modules [duplicate]

asked Jan 11, 2022 at 16:58

0 votes

2 answers

56 views

$(f,g)^{-1}(A) $ for $f,g$ Lebesgue measurable functions and $A$ closed set

asked Aug 29, 2021 at 10:48

0 votes

1 answer

45 views

If $μ(\limsup_{n\geq1}A_n)=1,μ(\liminf_{n\geq1}B_n)=1 $ prove that $μ(\limsup_{n\geq1}(A_n\cap B_n))=1 $

asked Aug 29, 2021 at 16:04

0 votes

1 answer

50 views

$λ(Ε_x)\leq 1/2$ prove that $λ({y \in[0,1]:λ( Ε^y)=1})\leq 1/2$

asked Aug 30, 2021 at 11:15

0 votes

2 answers

102 views

Summation of $e^{-n^p}$ for p>0

asked Aug 14, 2021 at 13:31

0 votes

1 answer

29 views

Lebesgue integral with indeterminate form and absolute

asked Aug 19, 2021 at 15:41

0 votes

1 answer

44 views

Limit of $-itc\sqrt{n}+n\log(1-\frac{it}{c\sqrt{n}})$

asked Aug 23, 2021 at 14:34

0 votes

1 answer

35 views

Equivalent ε-definition of singural measures

asked Aug 25, 2021 at 8:25

0 votes

1 answer

124 views

σ-finite space iff $f$ finite almost everywhere

asked Aug 27, 2021 at 7:31

0 votes

1 answer

138 views

Finite measure such that $ν\ll μ$ and $μ\ll ν$ for $μ$ $σ$-finite measure [closed]

asked Aug 27, 2021 at 10:15

-1 votes

1 answer

46 views

Lebesgue integral $\geq1$ for $f_n \rightarrow 0$ uniformly in every compact set of $ \mathbb{R}$

asked Aug 28, 2021 at 9:17

Stack Exchange Network

21 Questions

Linear first order PDE $u_x+u_t=u$ with the method of characteristics

Intuitionistic proof of $((p\rightarrow q)\rightarrow p)\rightarrow\neg \neg p$

Find an inhabitant for type $\phi$

Is there a combinator such that $M \rightarrow_w Μ$?

Why is a head redex always the leftmost redex?

Does any vertex-transitive graph $G$ have a vertex-transitive line graph $L(G)$?

The contraction of a given redex yields a unique result

Gauss-Seidel and bound of iterations using the residual norm

Alpha conversion and free variables

How to prove that a formula is intuitionistically valid using Kripke semantics?

$\mathbb{Z}[i]$-modules with 101 elements and cyclic $\mathbb{Z}[i]$-torsion modules [duplicate]

$(f,g)^{-1}(A) $ for $f,g$ Lebesgue measurable functions and $A$ closed set

If $μ(\limsup_{n\geq1}A_n)=1,μ(\liminf_{n\geq1}B_n)=1 $ prove that $μ(\limsup_{n\geq1}(A_n\cap B_n))=1 $

$λ(Ε_x)\leq 1/2$ prove that $λ({y \in[0,1]:λ( Ε^y)=1})\leq 1/2$

Summation of $e^{-n^p}$ for p>0

Lebesgue integral with indeterminate form and absolute

Limit of $-itc\sqrt{n}+n\log(1-\frac{it}{c\sqrt{n}})$

Equivalent ε-definition of singural measures

σ-finite space iff $f$ finite almost everywhere

Finite measure such that $ν\ll μ$ and $μ\ll ν$ for $μ$ $σ$-finite measure [closed]

Lebesgue integral $\geq1$ for $f_n \rightarrow 0$ uniformly in every compact set of $ \mathbb{R}$