Douglas Ulrich

activity

20142022

most citedKeisler's Order and Full Boolean-Valued Models

3 citations · 9 across the 12 of their papers we have counts for

collaborators

Showing 2017Show all

2 papers · 1 filter

math.LO2017★ 1 cited

Low is a Dividing Line in Keisler's Order

Douglas Ulrich

We show in $Z F C$ that the class of low theories forms a dividing line in Keisler's order. That is, if $T$ is low and $T^{'} ⊴ T$ then $T^{'}$ is low. We also show there is…

math.LO2017

Keisler's Order is Not Linear, Assuming a Supercompact

Douglas Ulrich

We show that Keisler's order is not linear, assuming the existence of a supercompact cardinal.