User Rex Butler

8 votes

3 answers

724 views

Category of Gödel Codings? [Reference Request]

asked Mar 5, 2015 at 17:51

7 votes

2 answers

1k views

Primitive recursive arithmetic via universal algebra

asked Feb 19, 2015 at 23:09

4 votes

0 answers

842 views

Commutative algebra books representing the edge of research

asked Jul 17, 2015 at 21:48

3 votes

1 answer

347 views

Formal verification of simple equational proofs (as in Universal Algebra...)?

asked Jul 25, 2011 at 22:10

3 votes

2 answers

259 views

Computable Categories in the most direct sense?

asked Feb 12, 2015 at 20:46

3 votes

0 answers

115 views

Cardinality based results in Topological Vector Spaces?

asked Aug 22, 2015 at 7:35

3 votes

3 answers

218 views

Coproducts and "Error Conditions" in Math vs CS

asked Apr 11, 2016 at 23:33

2 votes

1 answer

192 views

Classification of commutative ring ideal closure operators?

asked Jul 22, 2015 at 7:41

1 vote

0 answers

134 views

Reference Request: Category of explicit maps between primitive recursive sets?

asked Feb 17, 2015 at 23:09

0 votes

0 answers

691 views

Suitable reference on smooth manifolds for qualifying exam study?

asked Aug 6, 2015 at 4:42

Stack Exchange Network

10 Questions

Category of Gödel Codings? [Reference Request]

Primitive recursive arithmetic via universal algebra

Commutative algebra books representing the edge of research

Formal verification of simple equational proofs (as in Universal Algebra...)?

Computable Categories in the most direct sense?

Cardinality based results in Topological Vector Spaces?

Coproducts and "Error Conditions" in Math vs CS

Classification of commutative ring ideal closure operators?

Reference Request: Category of explicit maps between primitive recursive sets?

Suitable reference on smooth manifolds for qualifying exam study?