Studentu

Member for 6 years, 6 months
Last seen more than a month ago

Summary

Reputation

599

599
477
355

2020
2021
2022
2023

Top tag

logic

Next privilege

1,000 Rep.

Create new tags

Badges

2

10

Newest

Caucus

Next badge

0/1

Critic

Questions

View all 41 questions

Score Activity Newest Views

4

Partial fraction expansion - handling multiple roots

Sep 18, 2019

3

Number of compositions of n into odd parts

Sep 19, 2019

3

Linearly ordering the power set of a well ordered set with ZF (without AC)

Jan 21, 2019

3

Solving combinatorial problems with symbolic method and generating functions

Mar 21, 2019

3

Formal proof of $\exists x (\exists y P(y) \rightarrow P(x))$ and $(\forall x \exists y R(x,y))\rightarrow (\forall y \exists x R(y,x))$

Nov 9, 2018

Answers

Score Activity Newest

This user has not answered any questions

Tags

View all 74 tags

logic

0

Score

14

posts

predicate-logic

0

Score

14

posts

first-order-logic

0

Score

12

posts

combinatorics

0

Score

6

posts

analytic-combinatorics

0

Score

6

posts

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

2

silver badges

Yearling

× 2

Dec 11, 2019

10

bronze badges

Caucus

Nov 18, 2021
Curious

Nov 25, 2018
Tumbleweed

Feb 1, 2019

Accounts

1,415
2
10
11

599
2
10

140
5

German Language

103
2

101
1

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

59

upvotes

10

question votes

49

answer votes