Timeline for Comparing computable structures via Kleene and Skolem
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 17, 2023 at 0:25 | comment | added | James E Hanson | If you remove the second bullet point from the definition of $\le_{SK}$, is it just equivalent to many-one reduction of the theory of $\mathcal{A}$ to the theory of $\mathcal{B}$? I can't quite see whether this works given that $p$ is only partial. | |
| Oct 17, 2023 at 0:20 | comment | added | Noah Schweber | @JamesHanson Clarified! | |
| Oct 17, 2023 at 0:20 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 16 characters in body
|
| Oct 17, 2023 at 0:17 | comment | added | James E Hanson | Also, is there a quantifier on $f$ in the definition of $\le_{SK}$? | |
| Oct 17, 2023 at 0:17 | comment | added | Noah Schweber | @JamesHanson Indeed, fixed! | |
| Oct 17, 2023 at 0:17 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 4 characters in body
|
| Oct 17, 2023 at 0:16 | comment | added | James E Hanson | Is the symbol in the first line of the paragraph that starts with 'Basically' meant to be $\models$ instead of $\leq$? | |
| Oct 16, 2023 at 22:06 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 134 characters in body
|
| Oct 16, 2023 at 21:56 | history | asked | Noah Schweber | CC BY-SA 4.0 |