I have almost finished developing theory of filters on posets (not including cardinality issues, maps between filters, and maybe specifics of ultrafilters).
Yeah, it is finished! I have completely developed a field of math.
Well, there remains yet some informal problems, see the attached image:
Note that as it seems nobody before me researched filters in details. Let us congratulate this scientific achievement.
Oh, it is not finished yet! I forgot to consider the idea of “generalized cofinite filters” (as currently described in http://www.math.portonvictor.org/binaries/addons.pdf)