The following pages link to Shmuel Lifsches (Q1190618):
Displaying 6 items.
- The monadic theory of \((\omega{}_ 2,<)\) may be complicated (Q1190619) (← links)
- Random graphs in the monadic theory of order (Q1306794) (← links)
- Uniformization, choice functions and well orders in the class of trees (Q3128469) (← links)
- Peano arithmetic may not be interpretable in the monadic theory of linear orders (Q4372909) (← links)
- Uniformization and skolem functions in the class of trees (Q4391426) (← links)
- WITHDRAWN: Distorted sums of models (Q6503638) (← links)