User Russell O'Connor - MathOverflow

Russell O'Connor

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

r6.ca
Kitchener

Network profile

8 Questions

Score Activity Newest Views

12 votes

2 answers

4k views

Primitive element theorem without building field extensions

asked Jun 27, 2010 at 8:22

9 votes

1 answer

867 views

What is the tensor product for the Eilenberg-Moore category of a commutative monad?

asked Sep 20, 2011 at 7:50

9 votes

2 answers

389 views

Categorical semantics of W-types

asked Feb 7, 2012 at 16:28

8 votes

2 answers

814 views

Ordinal Analysis of Peano Arithmetic with Restricted Induction

asked Mar 10, 2011 at 16:52

6 votes

2 answers

361 views

Why no morphisms from the contradictory proposition to the inconsistent context?

asked Feb 13, 2012 at 21:44

5 votes

1 answer

363 views

Conservation of Hyperarithmetic Sentences over AC and CH.

asked May 3, 2010 at 7:03

3 votes

1 answer

221 views

Equational definition of Residuated Lattices

asked Mar 5, 2010 at 20:35

1 vote

1 answer

191 views

Composition Product of Multivariable Polynomials

asked Nov 26, 2011 at 20:50