NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (4)

math.LO1997

Random graphs in the monadic theory of order

Shmuel Lifsches, Saharon Shelah

math.LO1993

Peano Arithmetic may not be interpretable in the monadic theory of orders

Shmuel Lifsches, Saharon Shelah

math.LO1994

Uniformization, choice functions and well orders in the class of trees

Shmuel Lifsches, Saharon Shelah

math.LO1994

Uniformization and Skolem functions in the class of trees

Shmuel Lifsches, Saharon Shelah