103
click to vote
APAL
2006
15 years 2 months ago
2006
We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality whe...