Timeline for Analogy of $\omega$-models in constructive mathematics
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 23, 2015 at 19:50 | vote | accept | Jason Rute | ||
| Sep 19, 2015 at 22:41 | answer | added | Andrej Bauer | timeline score: 6 | |
| Sep 19, 2015 at 22:18 | history | edited | Jason Rute | CC BY-SA 3.0 |
added 292 characters in body
|
| Sep 19, 2015 at 22:10 | history | edited | Jason Rute | CC BY-SA 3.0 |
stopped using term "real" for binary sequences.
|
| Sep 19, 2015 at 22:09 | comment | added | Andrej Bauer | While you're at it please also add an explanation of what sort of language and logic you're trying to model. Are you going for intuitionistic (subsystems of) second-order arithmetic? | |
| Sep 19, 2015 at 22:08 | comment | added | Jason Rute | Yes, bad habit. I'll fix that. | |
| Sep 19, 2015 at 22:07 | comment | added | Andrej Bauer | When you intend to speak to constructive mathematicians you should never ever call a subset of $\mathbb{N}$ a "real" because you will create confusion. | |
| Sep 19, 2015 at 21:31 | history | asked | Jason Rute | CC BY-SA 3.0 |