user avatar
user avatar
user avatar
Adam
  • Member for 12 years, 5 months
33 votes
8 answers
3k views

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

23 votes
4 answers
3k views

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

16 votes
3 answers
1k views

Is Robinson Arithmetic biinterpretable with some theory in LST?

12 votes
1 answer
2k views

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

8 votes
4 answers
2k views

first-order definability transitive closure operator

7 votes
1 answer
558 views

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

7 votes
1 answer
2k views

models of PA which are isomorphic but not elementarily equivalent?

7 votes
2 answers
413 views

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

6 votes
1 answer
1k views

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

5 votes
1 answer
625 views

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

5 votes
2 answers
724 views

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

4 votes
1 answer
170 views

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

4 votes
1 answer
722 views

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

3 votes
2 answers
267 views

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

3 votes
2 answers
360 views

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

2 votes
1 answer
710 views

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

2 votes
1 answer
204 views

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

2 votes
1 answer
559 views

Name for semiring with weakened annihilation law?

1 vote
1 answer
333 views

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

0 votes
2 answers
364 views

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

0 votes
2 answers
337 views

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