Boolean Types in Dependent Theories.

Thu, 01 Dec 2022 00:00:00 +0100

Itay Kaplan , Ori Segel , Saharon Shelah :
Boolean Types in Dependent Theories. J. Symb. Log. 87(4): 1349-1373 (2022)