I am interested in to varying degrees ordered sets, general topology, point-free topology, Boolean algebras, set-theory, universal algebra, and model theory. Most of my previous mathematics research involves dualities that are similar to Stone duality. I am currently interested in using the Boolean-valued approach to forcing to study objects such as Boolean algebras and frames in the ground model (i.e. Boolean-valued point-free topology). Furthermore, I am also interested in self-distributive algebras with operations of arbitrary finite arity and their relations with algebras of rank-into-rank elemetary embeddings and other mathematical structures.
Q&A for professional mathematicians
Q&A for people studying math at any level and professionals in related fields
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for committed Christians, experts in Christianity and those interested in learning more
Q&A for professional and enthusiast programmers
Q&A for academics and those enrolled in higher education
Q&A for those involved in the field of teaching mathematics