Mathematics
lesnikow's user avatar
lesnikow's user avatar
lesnikow's user avatar
lesnikow
  • Member for 11 years, 11 months
  • Last seen more than 7 years ago
Profile Activity
Stats
592
reputation
14k
reached
13
answers
3
questions
Communities
View all
About

In progress.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
12
bronze badges
Top tags
View all tags
14
Score
5
Posts
31
Posts %
13
Score
2
Posts
12
Posts %
11
Score
7
Posts
44
Posts %
10
Score
1
Posts
6
Posts %
6
Score
1
Posts
6
Posts %
5
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
answer
10
What is a constructive proof of $\lnot\lnot(P\vee\lnot P)$?
May 3, 2012
question
6
If $T$ proves $\operatorname{Con}(ZFC)$, is $T$ at least as strong as set theory?
Apr 29, 2012
answer
6
Mathematical formula for biological phenomena?
May 23, 2012
answer
5
Cardinality: does $|A^B|=|2^B|$ if $|A| \le |2^B|$?
Apr 30, 2012
question
4
An "internal" condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?
Apr 29, 2012
question
3
Can we prove that some non-cardinal ordinals are regular?
May 18, 2012
answer
3
Can the principle of explosion be removed from constructive logic?
May 22, 2012
answer
2
Difference between axiomatization and model
Apr 30, 2012
answer
2
transfinite induction confusion
May 3, 2012
answer
2
Equivalence of sequences and subsets of natural numbers
May 13, 2012
Top network posts
View all network posts
9
In today's low interest environment, is it generally more economical to buy or lease a new car in the US?
7
An Extender is a Generalization of an Ultrafilter?
6
Vopenka's Theorem on L(A) and Large Cardinals from Weaker Assumptions?