User:Lord Farin/Long-Term Projects

This page contains a list of things I have encountered and take considerable time.

• Develop the rigid foundations of logic and axiomatic set theory further (zeroth, first order logic) and implement a modular approach.
• Develop the rigid foundations for Category:Complex Analysis.
• Properly use the about template on every page linked to a disambiguation/combined (definition) page.
• Establish connections between the results on matrices and those on operators on Hilbert/Banach space (the former are the finite-dimensional versions of the latter).
• Establish the relations between all the kinds of set systems, similar to Sequence of Implications of Separation Axioms.
• Develop the notion of a "partial operation" and its theory.
• Various sources suggest that there is a viable approach possible granting Hilbert spaces over the quaternions. Vector spaces over the quaternions could constitute the first proper example of a vsp. over a division ring that is truly not commutative on PW.
• Employ category theory to help cutting down tedious forests of similar theorems.
• Proper categorization of the category theory section

This article is complete as far as it goes, but it could do with expansion. In particular: Be invited if you know how/want to tackle something mentioned here. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Completed Projects

• Creating a MediaWiki extension tailored to ProofWiki. User:Lord_Farin/Long-Term Projects/Extension contains historical information on the process.