Peter Gerdes

Member for 11 years, 11 months
Last seen more than a week ago

Twitter
GitHub
invariant.org
Auburn Hills, MI, USA

Summary

Reputation

2,633

top 11% this month

2.6k
1.6k
623

2021
2022
2023
2024

Top tag

lo.logic

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

14

17

Newest

Revival

Next badge

0/1

Excavator

Questions

View all 54 questions

26

Decidability of 3 body problem

Oct 16, 2021

9

Practical Benefits of HTT/univalent foundations for assisted proofs

Jun 1, 2021

8

Good source for admissible set theory?

Apr 28, 2023

7

Why does Weihrauch reducibility make use of multi-functions?

Apr 1

7

2-REA PA degrees

May 11, 2021

Answers

View all 39 answers

6

Reference for a "recursive" fragment of infinitary logic?

Jun 27, 2012

6

Peer review 2.0

May 31, 2021

4

Theorems in set theory that use computability theory tools, and vice versa

Apr 18, 2023

4

Meta-incomputability

Jan 5, 2019

3

On independence and large cardinal strength of physical statements

Nov 19, 2017

Tags

View all 49 tags

lo.logic

51

Score

80

posts

computability-theory

47

Score

77

posts

set-theory

15

Score

12

posts

reference-request

14

Score

4

posts

turing-degrees

8

Score

10

posts

Reputation

top 11% this month

+70

Why does Weihrauch reducibility make use of multi-functions?

+10

Decidability of 3 body problem

+10

A $\Pi^0_1$ class of $\alpha$-subgenerics for all $\alpha < w_1^{CK}$

+10

A $\Pi^0_1$ class of $\alpha$-subgenerics for all $\alpha < w_1^{CK}$

Badges

View all badges

This user doesn’t have any gold badges yet.

14

silver badges

Inquisitive

Mar 16, 2023
Constituent

Oct 3, 2022
Good Question

May 5, 2023

17

bronze badges

Tag Editor

Jan 5, 2019
Citizen Patrol

Dec 11, 2020
Caucus

Oct 3, 2022

Accounts

View all 31 accounts

2,688
1
24
29

2,633
14
17

925
5
14

391
1
2
7

375
1
8

Active bounties (0)

This user has no active bounties

Votes cast

43

upvotes

5

downvotes

14

question votes

34

answer votes

2

this month