8

Questions
votes newest views recent
3
6
votes
2
answers
255
views

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

feb 14 12 at 7:24 Andrej Bauer 13.1k●29●72

1
7
votes
2
answers
217
views

Categorical semantics of W-types

feb 8 12 at 3:33 Ivanych 31●1

 
3
votes
1
answer
166
views

Equational definition of Residuated Lattices

jan 16 12 at 3:21 William DeMeo 576●3●10

1
1
vote
1
answer
165
views

Composition Product of Multivariable Polynomials

nov 27 11 at 15:17 Todd Trimble 22.7k●1●64●97

1
3
votes
1
answer
179
views

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

sep 20 11 at 9:41 Chris Heunen 1,388●1●5●13

2
7
votes
2
answers
528
views

Ordinal Analysis of Peano Arithmetic with Restricted Induction

mar 10 11 at 22:18 Andres Caicedo 14.8k●1●43●81

2
4
votes
2
answers
1k
views

Primitive element theorem without building field extensions

jun 28 10 at 13:28 David Speyer 56.3k●3●103●242

1
6
votes
1
answer
313
views

Conservation of Hyperarithmetic Sentences over AC and CH.

may 3 10 at 12:59 Joel David Hamkins 76.8k●8●192●355