Russell O'Connor

829
Reputation
682 views
Is this your account?

Registered User 

Name Russell O'Connor
Member for 3 years
Seen Jun 17 at 21:32
Website
Location Kitchener
Age
Ph.D. from Radboud University Nijmegen in Computer Mathematics.
8

Questions
votes newest views recent
2

1
7
votes
2
answers
214
views

Categorical semantics of W-types

feb 8 12 at 3:33 Ivanych 31●1

3

1
6
votes
1
answer
313
views

Conservation of Hyperarithmetic Sentences over AC and CH.

may 3 10 at 12:59 Joel David Hamkins 75.3k●7●187●343

2

1

 

1
1
vote
1
answer
163
views

Composition Product of Multivariable Polynomials

nov 27 11 at 15:17 Todd Trimble 22.3k●1●62●96

 

 

41

Votes
40
1

 

25

Tags
× 10
× 4
× 4
× 3
× 3
× 2
× 2














 

17

Badges
● Yearling× 3
● Popular Question
● Nice Answer× 2
 ● Necromancer× 2
● Good Answer
● Critic
 ● Commentator
● Scholar
● Student
 ● Supporter
● Editor
● Teacher
 ● Autobiographer