Some remarks on one-basedness
arXiv:1904.06054 · doi:10.2178/jsl/1080938823
Abstract
A type analysable in one-based types in a simple theory is itself one-based.
arXiv:1904.06054 · doi:10.2178/jsl/1080938823
A type analysable in one-based types in a simple theory is itself one-based.