Skip to main content
7 events
when toggle format what by license comment
Jun 15, 2020 at 7:27 history edited CommunityBot
Commonmark migration
Feb 27, 2015 at 20:36 vote accept Andrei Sipoș
Feb 23, 2015 at 18:47 comment added Alex Kruckman The JSL review says that the first half of Chudnovsky's paper is about compactness and preservation theorems in $L_{\alpha,\beta}$, and the second half "is devoted to mathematical characterizations of the classes $K$ which are axiomatizable by a set of sentences of $L_{\alpha,\beta}$ of certain prescribed forms... Unfortunately, although the characterizations are of theoretical interest, they are a little too complicated to be completely satisfying."
Feb 23, 2015 at 15:19 comment added Ed Dean @ToddTrimble, my hunch is that Chudnovsky's relevant work can be found in: "Some results in the theory of infinitely long expressions," Math. Dokl. 9, 556-559. Keisler offers no direct citation in the text, but that is one of two Chudnovsky works in his bibliography. (For good measure, the other is given just as Algebra and Logic 9, 80-120, with no title given, but a mention that it's a work in Russian.) I don't have access to the first paper or to a JSL review of it by Lopez-Escobar. Someone who does could (dis)confirm its relevance.
Feb 23, 2015 at 6:44 history edited Ed Dean CC BY-SA 3.0
tracked down the result and explanation of its progenitors
Feb 20, 2015 at 22:04 history edited Ed Dean CC BY-SA 3.0
added clarifying info
Feb 20, 2015 at 21:35 history answered Ed Dean CC BY-SA 3.0