Please nominate me for Breakthrough Prize in mathematics

Please read my math research and decide if it is worth the prize. If you consider my research worth the prize, please nominate me. Nominations for the Breakthrough Prize and New Horizons Prize in mathematics are now open. The Breakthrough Prize in Mathematics is a $3,000,000 prize for transformative breakthrough(s) in mathematics, with special attention […]

Two kinds of generalization

I noticed that there are two different things in mathematics both referred as “generalization”. The first is like replacing real numbers with complex numbers, that is replacing a set in consideration with its superset. The second is like replacing a metric space with its topology, that is abstracting away some properties. Why are both called with […]

I replaced semicolons with commas

I’ve released my math research book and all supplementary materials free with semicolons replaced with commas to denote tuples: $latex (a;b)$ → $latex (a,b)$, in order to comply with usual math notation of other mathematicians.

A new little theorem (Galois connections)

I’ve added the following to my research book: Definition Galois surjection is the special case of Galois connection such that $latex f^{\ast} \circ f_{\ast} $ is identity. Proposition For Galois surjection $latex \mathfrak{A} \rightarrow \mathfrak{B}$ such that $latex \mathfrak{A}$ is a join-semilattice we have (for every $latex y \in \mathfrak{B}$) $latex f_{\ast} y = \max […]

Offtopic: John 3:16 – Christ having an universal property

Bible, John 3:16: (CJB) “For God so loved the world that he gave his only and unique Son, so that everyone who trusts in him may have eternal life, instead of being utterly destroyed.” (ISV) “For this is how God loved the world: He gave his uniquely existing Son so that everyone who believes in […]

An example of a separable poset with certain property

With help of sci.math crowd it was demonstrated an example that there exist a (finite) poset, which is separable (in the sense defined in this book), but $latex \star x \subseteq \star y$ does not imply $latex x \sqsubseteq y$ (where $latex \sqsubseteq$ denotes our order) for elements $latex x$, $latex y$ of this poset. […]

Funcoids are filters? Conjecture II

Earlier I have conjectured that the set of funcoids is order-isomorphic to the set of filters on the set of finite joins of funcoidal products of two principal filters. For an equivalent open problem I found a counterexample. Now I propose another similar but weaker open problem: Conjecture Let $latex U$ be a set. The […]