Citation: S. Lifsches et S. Shelah, PEANO ARITHMETIC MAY NOT BE INTERPRETABLE IN THE MONADIC THEORY OF LINEAR ORDERS, The Journal of symbolic logic, 62(3), 1997, pp. 848-872
Citation: S. Lifsches et S. Shelah, UNIFORMIZATION, CHOICE FUNCTIONS AND WELL ORDERS IN THE CLASS OF TREES, The Journal of symbolic logic, 61(4), 1996, pp. 1206-1227