|
Apr
29 |
|
awarded | Good Answer |
|
Feb
26 |
|
awarded | Yearling |
|
Feb
10 |
|
awarded | Yearling |
|
Feb
10 |
|
awarded | Yearling |
| 2023 | |||
|---|---|---|---|
|
Nov
19 |
|
awarded | Popular Question |
|
Oct
25 |
|
awarded | Critic |
|
Sep
23 |
|
accepted | Does $\omega$-consistency depend on the encoding? |
|
Sep
21 |
|
comment |
Does $\omega$-consistency depend on the encoding? you mean in "nice enough" $T$? In the example $T$ i gave in my question there doesn't seem to be a best one. |
|
Sep
21 |
|
comment |
Does $\omega$-consistency depend on the encoding? So, maybe a more "categorical" way to think about this would be to say that these notions are relative to a pair $(T, I)$ where $T$ is a theory and $I$ is an implementation of the natural numbers on $T$, right? |
|
Sep
21 |
|
asked | Does $\omega$-consistency depend on the encoding? |
|
Sep
15 |
|
comment |
moduli space of triangles The article link is not working. |
|
Sep
5 |
|
awarded | Supporter |
|
Aug
31 |
|
comment |
Are there "differentiable manifolds" that don't admit a $C^1$-structure @Eric Yes that is what i mean. |
|
Aug
30 |
|
comment |
Are there "differentiable manifolds" that don't admit a $C^1$-structure @PaulSinclair I am aware of that. How is that related to my question? |
|
Aug
29 |
|
comment |
Why does a constant positive Gaussian curvature imply a sphere? The wolfram demonstrations link is broken |
|
Aug
29 |
|
accepted | Showing if the group $\frac {F[a,b]}{(a^2 = b^2)}$ is torsion free |
|
Aug
29 |
|
asked | Are there "differentiable manifolds" that don't admit a $C^1$-structure |
|
Aug
23 |
|
asked | Full subcategories of $\textbf{Grp}$ that are monoidal closed |
|
Aug
5 |
|
awarded | Scholar |
|
Aug
5 |
|
accepted | Are half of transgender women inmates (in England and Wales) sex offenders or category A prisoners? |