Timeline for Forcing for Arbitrary First Order Theories
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 12, 2015 at 19:02 | comment | added | Avshalom | Wilfrid Hodges, "Building Models by Games", CUP 1985, revised Dover edition, with a review by Rami Grossberg here: Grossberg, Rami. Review: Wilfrid Hodges, Building Models by Games . J. Symbolic Logic 56 (1991), no. 2, 752--753. projecteuclid.org/euclid.jsl/1183743676. | |
| Feb 19, 2014 at 23:26 | vote | accept | CommunityBot | ||
| Feb 16, 2014 at 5:01 | comment | added | Mohammad Golshani | see also "Forcing in a general setting" by Bowen. Abstract: The author gives a logic-free treatment of some of the basics of forcing in a topological setting. The general scheme is shown to specialize to virtually all known varieties of forcing (set-theoretic, Robinson model-theoretic, etc.). | |
| Feb 15, 2014 at 0:28 | comment | added | user45939 | Searching in MO I found this related post. | |
| Feb 15, 2014 at 0:09 | comment | added | François G. Dorais | And also Feferman's Some applications of the notions of forcing and generic sets [Fund. Math. 56. (1964), 325–345]. | |
| Feb 14, 2014 at 23:36 | answer | added | Joel David Hamkins | timeline score: 6 | |
| Feb 14, 2014 at 22:16 | history | edited | Emil Jeřábek |
fix tags
|
|
| Feb 14, 2014 at 22:13 | answer | added | Monroe Eskew | timeline score: 5 | |
| Feb 14, 2014 at 22:10 | comment | added | Emil Jeřábek | For starters, see Abraham Robinson, “Forcing in model theory”. | |
| Feb 14, 2014 at 21:56 | history | asked | user45939 | CC BY-SA 3.0 |