This paper explores several topics related to Woodin’s HOD conjecture. We improve the large cardinal hypothesis of dichotomy theorem from an extendible a strongly compact cardinal. show that assuming there is and holds, no elementary embedding HOD, settling question Woodin. equivalent uniqueness property embeddings levels cumulative hierarchy. prove holds if only every regular above first carri...

Simple observations on diophantine definability over finite commutative rings lead to a characterization of those rings in terms of their diophantine behavior. A.M.S. Classification: 13M10, 11T06, 03G99.

We investigate the complexity of partial order relation Young's lattice. The definable relations are characterized by establishing maximal definability property modulo single automorphism given conjugation; consequently, as an ordered set lattice has undecidable elementary theory and is non-finitely axiomatizable but every ideal generates a finitely universal class equivalence relations. show p...