User Adam

35 votes

8 answers

4k views

Is P=NP relevant to finding proofs of everyday mathematical propositions?

asked Dec 1, 2010 at 22:37

24 votes

4 answers

3k views

does the "convolution theorem" apply to weaker algebraic structures?

asked Dec 31, 2009 at 6:28

18 votes

3 answers

1k views

Is Robinson Arithmetic biinterpretable with some theory in LST?

asked Jan 10, 2011 at 21:37

15 votes

1 answer

3k views

What is the name for the composition of a functor with a natural transformation?

asked Oct 2, 2010 at 4:02

8 votes

1 answer

602 views

Does "antichain" mean something different in set-forcing than in lattice theory?

asked Nov 23, 2010 at 6:15

8 votes

1 answer

2k views

models of PA which are isomorphic but not elementarily equivalent?

asked May 30, 2010 at 2:01

8 votes

4 answers

2k views

first-order definability transitive closure operator

asked Jan 20, 2010 at 2:49

8 votes

2 answers

452 views

Pointer to literature on double enrichment and functors among enriching categories?

asked Sep 24, 2010 at 1:39

6 votes

1 answer

2k views

How can an ultrapower of a model of ZFC be "ill-founded" yet still satisfy ZFC?

asked Feb 8, 2010 at 8:03

6 votes

1 answer

862 views

"$\kappa$ strongly inaccessible" = "every function $f:V_\kappa\to V_\kappa$ can be self-applied"?

asked Feb 16, 2010 at 1:58

5 votes

1 answer

667 views

"adjoint" =?= "inverse of composite endofunctor is uniform bi-composition"

asked Mar 23, 2010 at 20:08

5 votes

2 answers

803 views

Must the left and right unitors of a monoidal category coincide at the neutral object?

asked Aug 10, 2010 at 0:41

4 votes

1 answer

193 views

Is genericity essential to "things which are forced are true in the extension" or only to its converse?

asked Nov 27, 2010 at 6:31

3 votes

2 answers

370 views

L^α_{β,γ}: do we need both α and β for model theory?

asked May 18, 2010 at 0:25

3 votes

2 answers

272 views

Behavior of externally-infinite elements in ultrapowers of $\langle HF,\epsilon\rangle$

asked Mar 16, 2010 at 23:41

2 votes

1 answer

607 views

Name for semiring with weakened annihilation law?

asked Jan 5, 2010 at 5:59

2 votes

1 answer

817 views

"standard system" of a nonstandard model of PA, interpreted in ZFCfin?

asked Jun 1, 2010 at 0:44

2 votes

1 answer

207 views

Bounded-variable logic: "fewer than $\alpha$ variables" equivalent to "every subformula has fewer than $\alpha$ free variables"?

asked May 17, 2010 at 23:44

1 vote

1 answer

360 views

Are all binoidal categories (in the literature) actually strict?

asked Apr 2, 2011 at 3:13

0 votes

2 answers

351 views

name for "solid" subset of a partially ordered set?

asked Dec 7, 2009 at 8:37

0 votes

2 answers

371 views

roots of polynomials with multiple-of-unity coefficients implies algebraically closed?

asked Apr 10, 2010 at 22:19

Stack Exchange Network

21 Questions

Is P=NP relevant to finding proofs of everyday mathematical propositions?

does the "convolution theorem" apply to weaker algebraic structures?

Is Robinson Arithmetic biinterpretable with some theory in LST?

What is the name for the composition of a functor with a natural transformation?

Does "antichain" mean something different in set-forcing than in lattice theory?

models of PA which are isomorphic but not elementarily equivalent?

first-order definability transitive closure operator

Pointer to literature on double enrichment and functors among enriching categories?

How can an ultrapower of a model of ZFC be "ill-founded" yet still satisfy ZFC?

"$\kappa$ strongly inaccessible" = "every function $f:V_\kappa\to V_\kappa$ can be self-applied"?

"adjoint" =?= "inverse of composite endofunctor is uniform bi-composition"

Must the left and right unitors of a monoidal category coincide at the neutral object?

Is genericity essential to "things which are forced are true in the extension" or only to its converse?

L^α_{β,γ}: do we need both α and β for model theory?

Behavior of externally-infinite elements in ultrapowers of $\langle HF,\epsilon\rangle$

Name for semiring with weakened annihilation law?

"standard system" of a nonstandard model of PA, interpreted in ZFCfin?

Bounded-variable logic: "fewer than $\alpha$ variables" equivalent to "every subformula has fewer than $\alpha$ free variables"?

Are all binoidal categories (in the literature) actually strict?

name for "solid" subset of a partially ordered set?

roots of polynomials with multiple-of-unity coefficients implies algebraically closed?