Timeline for First order logic
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 2, 2010 at 20:08 | comment | added | Anna Fred | Any way, how this could help in the proof? | |
| Dec 2, 2010 at 20:07 | comment | added | Anna Fred | I'm not sure if this is correct: I think you mean "if it has a model of arbitrary large size then it has models of unboundedly large size!?" – Anna Fred 0 secs ago | |
| Dec 2, 2010 at 3:20 | comment | added | Adam | The collection of disjunctions on the first two lines is often proved in the equivalent form "if it has any finite models, it has models of unboundedly large finite size". | |
| Dec 2, 2010 at 3:09 | vote | accept | Anna Fred | ||
| Dec 2, 2010 at 3:09 | |||||
| Dec 2, 2010 at 3:04 | history | answered | Thomas Scanlon | CC BY-SA 2.5 |