Timeline for Impredicativity, definition, recursion and conservatism
Current License: CC BY-SA 4.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 21, 2023 at 0:49 | history | became hot network question | |||
| Sep 20, 2023 at 23:58 | vote | accept | Frode Alfson Bjørdal | ||
| Sep 20, 2023 at 22:59 | answer | added | Andreas Blass | timeline score: 7 | |
| Sep 20, 2023 at 19:23 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
as equivalent to
|
| Sep 20, 2023 at 18:31 | comment | added | LSpice |
Re, we've discussed elsewhere that \\\\(\\\\) works, but \(\) and even \\(\\) don't, for technical reasons. (Just for fun, for \[\] it's \\[\\], not \\\\[\\\\].)
|
|
| Sep 20, 2023 at 18:29 | history | edited | LSpice | CC BY-SA 4.0 |
Displaying displayed equation
|
| Sep 20, 2023 at 18:27 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
isolate
|
| Sep 20, 2023 at 17:52 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
(1) & (2)
|
| S Sep 20, 2023 at 17:33 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
$\Pi^1_1$-induction to $\Pi^1_1$-comprehension.
|
| Sep 20, 2023 at 17:32 | review | Suggested edits | |||
| S Sep 20, 2023 at 17:33 | |||||
| Sep 20, 2023 at 17:28 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
positivity
|
| Sep 20, 2023 at 17:19 | comment | added | Frode Alfson Bjørdal | @YCor Resolved. It seems to me that there was an update on how to code. | |
| Sep 20, 2023 at 17:15 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
$
|
| Sep 20, 2023 at 17:07 | comment | added | YCor | What's the point of displaying source code? this is not pleasant to decipher... | |
| Sep 20, 2023 at 16:48 | history | asked | Frode Alfson Bjørdal | CC BY-SA 4.0 |