Bi-invariant types, reliably invariant types, and the comb tree property

James E. Hanson

We introduce and examine some special classes of invariant types$\unicode{x2014}$bi-invariant, strongly bi-invariant, extendibly invariant, and reliably invariant types$\unicode{x2…