Anders Lundstedt

Member for 11 years, 5 months
Last seen this week

Summary

Reputation

155

156
151
146

2021
2022
2023
2024

Top tag

lo.logic

Next privilege

200 Rep.

See reduced ads

Badges

1

6

Newest

Critic

Next badge

8/10

Commentator

Impact

~1k

people reached

0

posts edited

0

helpful flags

10

votes cast

Answers

11

Cases where multiple induction steps are provably required

Jan 8, 2019

Questions

3

When must one strengthen one's induction hypothesis?

Jan 4, 2017

Tags

lo.logic

11

Score

2

posts

induction

11

Score

2

posts

reference-request

11

Score

1

post

reverse-math

11

Score

1

post

proof-theory

0

Score

1

post

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

1

silver badge

Enlightened

Jan 9, 2019

6

bronze badges

Critic

Feb 15, 2020
Teacher

Jan 8, 2019
Supporter

Jan 30, 2019

Accounts

View all 12 accounts

195
2
8

164
5

162
7

161
1
5

155
1
6

Active bounties (0)

This user has no active bounties

Votes cast

9

upvotes

1

downvotes

7

question votes

3

answer votes