Timeline for Attribution of an equivalence of the existence of omega-models of RCA0
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Mar 13, 2014 at 16:41 | vote | accept | Benedict Eastaugh | ||
| Mar 13, 2014 at 16:41 | comment | added | Benedict Eastaugh | Thanks for such a careful explication of the subtleties, François. When formulating the question I was interpreting satisfaction in the second manner you list, but I should have been more explicit: as you rightly say, one should be careful when stating this theorem and its variants. Thankfully the lemma I am actually using does not rely on the meaning of "satisfies" in this manner (I am happy to state it in detail if that's informative). | |
| Mar 13, 2014 at 16:27 | history | edited | François G. Dorais | CC BY-SA 3.0 |
reordered
|
| Mar 13, 2014 at 16:08 | history | answered | François G. Dorais | CC BY-SA 3.0 |