A Hanf number for saturation and omission: the superstable case.

John T. Baldwin Saharon Shelah

Published in: Math. Log. Q. (2014)

Keyphrases

small number
computational effort
fixed number
databases
case study
wide range
information technology
maximum number