Timeline for Book recommendation introduction to model theory
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 14 at 15:37 | comment | added | Alex Kruckman | @GregNisbet Probably because Marker does not cover the completeness theorem, which seems to be important to the OP. I think Marker is a great book to use for a first course in model theory, and I've edited my answer to clarify that. | |
| Jun 10 at 3:34 | answer | added | user21820 | timeline score: 3 | |
| Jun 9 at 17:32 | comment | added | Greg Nisbet | I noticed Marker isn't among the answers so far. Any particular reason not to recommend it? | |
| Jun 8 at 21:23 | vote | accept | Ivan Di Liberti | ||
| Jun 7 at 20:38 | history | edited | YCor | CC BY-SA 4.0 |
removed capitals from title
|
| Jun 7 at 20:35 | answer | added | Peter LeFanu Lumsdaine | timeline score: 12 | |
| Jun 7 at 19:59 | history | became hot network question | |||
| Jun 7 at 18:23 | answer | added | Benedict Eastaugh | timeline score: 10 | |
| Jun 7 at 16:57 | comment | added | Matemáticos Chibchas | Is someone besides me still waiting for Rami Grossberg's three volume model theory book? (+20 years) | |
| Jun 7 at 15:07 | answer | added | Alex Kruckman | timeline score: 21 | |
| Jun 7 at 14:59 | comment | added | Ivan Di Liberti | @AlexKruckman, your notes look great! Would you update your comment to an answer? | |
| Jun 7 at 12:38 | answer | added | Ivan Di Liberti | timeline score: 9 | |
| Jun 7 at 12:18 | comment | added | Alvaro Pintado | I highly recommend checking out Peter Smith's Logic Study Guide (logicmatters.net/tyl), which contains a nice overview of many mathematical logic textbooks including model theory textbooks. | |
| Jun 7 at 12:14 | answer | added | Tom Leinster | timeline score: 13 | |
| Jun 7 at 12:12 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
edited title
|
| Jun 7 at 12:11 | history | edited | Per Alexandersson | CC BY-SA 4.0 |
spelling, title
|
| Jun 7 at 12:05 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
deleted 5 characters in body
|
| Jun 7 at 11:58 | history | asked | Ivan Di Liberti | CC BY-SA 4.0 |