Timeline for $\Pi^0_1$ sentences modulo "schematic entailment"
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 11 at 19:23 | vote | accept | Noah Schweber | ||
| May 5 at 3:04 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 52 characters in body
|
| May 5 at 3:04 | answer | added | Noah Schweber | timeline score: 0 | |
| Apr 19 at 12:30 | comment | added | Emil Jeřábek | Given that the definition is very sensitive to all the details (the choice of the theory, the class of functions $p$), it’s unlikely to have an equivalent characterization that is significantly different. Or are you just asking what is the preorder $\mathfrak P$ up to isomorphism? | |
| Apr 19 at 0:54 | history | asked | Noah Schweber | CC BY-SA 4.0 |