\input zb-basic
\input zb-ioport
\iteman{io-port 03811848}
\itemau{Huber-Dyson, Verena}
\itemti{Symmetric groups and the open sentence problem.}
\itemso{Patras Logic Symposion, Proc., Patras/Greece 1980, Stud. Logic Found. Math. 109, 159-169 (1982).}
\itemcc{}
\itemut{finitary symmetric groups; transpositions; universal theory; elementary arithmetic; existential predicates; undecidability; open sentence problem}
\itemli{}
\end