Definition talk:Parsing Sequence

Shouldn't a parsing sequence be more accurately a rooted tree (maybe more conveniently thought of as a tree upside down, somewhat like the roots of a tree, culminating in a single WFF) of which each branch is finite (but in general needn't be finitely branching, so not finite; I've read up on theories just today concerning infinitary first-order logic, allowing dis- and conjunctions over any index set)? It seems like this is what's meant. Also, in my digital version of Keisler/Robbin (dated 2006, version from 1987) the term parsing sequence appears in $\S 1.1$; this may be due to version mismatch, though. Same for $\S 2$.

While I noted in reading Keisler/Robbin that the parsing sequence as they define it is sensible, I still put for myself the task of one day covering infinitary logics, for which the "parsing tree" concept is actually necessary (since clearly otherwise one runs into trouble). --Lord_Farin (talk) 18:29, 9 November 2012 (UTC)