Timeline for Is there any current development of a first order formalization of metamathematics?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:57 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Aug 15, 2014 at 7:52 | comment | added | Ioachim Drugus | This is for the moderator: can you please add the tag "set theory"? This can bring the question and my answer to attention of set theorists who could criticize my answer or add something useful. | |
| Aug 15, 2014 at 7:47 | history | answered | Ioachim Drugus | CC BY-SA 3.0 |