This user is a participant in
WikiProject Mathematics.
This user is a participant in
WikiProject Merge.



The main current project: user:Felix QW/Logic programming

Current Wishlist:

Finite model theory
Zero-one law (logic)

Other things to be done:

Proofs involving... article
Original proof of Gödel's completeness theorem
Infinity plus one
Zeroth-order logic
Probabilistic proposition
... Letters used in mathematics... articles

Current userspace drafts:


Other subpages:

Kabiryani's subpage
User:Felix QW/Genera without images