2019/03/01 by Valizadeh, Ali N., Pourmahdian, Massoud
#03C99 #05C63 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1903.00272
We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each α∈ω+1\backslash\0\ we introduce a strictly superstable theory of U-rank α. Furthermore, we show that these theories are decidable and pseudofinite.