The following pages link to Hanf number of omitting type for simple first-order theories (Q3864493):
Displaying 2 items.