Lord_Farin

Member for 11 years, 2 months
Last seen more than 1 year ago

proofwiki.org

Summary

Reputation

17,653

17.7k
17k
16.4k

2020
2021
2022
2023

Top tag

elementary-set-theory

Next privilege

20,000 Rep.

Access 'trusted user' tools

Badges

9

49

127

Newest

Announcer

Next badge

74/100

Sportsmanship

Answers

View all 529 answers

Score Activity Newest

52

Is there a common symbol for concatenating two (finite) sequences?

Jun 18, 2013

32

explaining the derivative of $x^x$

May 24, 2013

24

Limit involving power tower: $\lim\limits_{n\to\infty} \frac{n+1}n^{\frac n{n-1}^\cdots}$

Jun 20, 2013

23

What really is mathematical rigor? How can I be more rigorous?

May 15, 2015

20

Cardinality of set of discontinuities of cadlag functions

Sep 23, 2013

Questions

View all 13 questions

Score Activity Newest Views

16

Proving existence of a surjection $2^{\aleph_0} \to \aleph_1$ without AC

May 31, 2013

14

Every net has an ultranet as subnet: direct proof

May 1, 2015

13

Motivating the compact-open topology

Jan 4, 2015

12

Countable ordinals are embeddable in the rationals $\Bbb Q$ -- proofs and their use of AC

Jun 1, 2013

9

Proving the $\Delta$ lemma using Fodor's Theorem

Apr 15, 2013

Tags

View all 203 tags

elementary-set-theory

234

Score

127

posts

logic

172

Score

95

posts

calculus

109

Score

26

posts

real-analysis

108

Score

39

posts

limits

88

Score

22

posts

Reputation

+20

Cardinality of set of discontinuities of cadlag functions

+10

Every net has an ultranet as subnet: direct proof

+10

What really is mathematical rigor? How can I be more rigorous?

+10

Is my proof correct for: $\sqrt[7]{7!} < \sqrt[8]{8!}$

Badges

View all badges

9

gold badges

Marshal

Nov 27, 2013
Copy Editor

Jun 25, 2013
Electorate

May 24, 2013

49

silver badges

Convention

May 24, 2013
Outspoken

Apr 29, 2013
Refiner

Sep 30, 2014

127

bronze badges

logic

Jan 27, 2015
elementary-set-theory

Oct 25, 2013
real-analysis

Nov 29, 2022

Accounts

View all 8 accounts

17.7k
9
49
127

Meta Stack Exchange

836
7
17

295
1
7

English Language & Usage

176
3

111
2

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

4,490

upvotes

1,375

downvotes

2,605

question votes

3,260

answer votes