Principal filters are center – solved
I have proved this conjecture: Theorem 1 If $latex {\mathfrak{F}}&fg=000000$ is the set of filter objects on a set $latex {U}&fg=000000$ then $latex {U}&fg=000000$ is the center of the lattice $latex {\mathfrak{F}}&fg=000000$. (Or equivalently: The set of principal filters on a set $latex {U}&fg=000000$ is the center of the lattice of all filters on $latex […]
Formalistics of generalization
In the framework of ZF formally considered generalizations, such as whole numbers generalizing natural number, rational numbers generalizing whole numbers, real numbers generalizing rational numbers, complex numbers generalizing real numbers, etc. The formal consideration of this may be especially useful for computer proof assistants.
My new math blog
I abandoned my old blogs at my own site and moved to WordPress.com. This is my new math blog. Here I will tell about my math research.