Ambar Chowdhury Bradd Hart An Unclassifiable Unidimensional Theory without OTOP. 93-103 1997 38 Notre Dame Journal of Formal Logic 1 db/journals/ndjfl/ndjfl38.html#ChowdhuryH97