This user is a participant in WikiProject Mathematics.

This user is a participant in WikiProject Merge.

This user has adopted Kabiryani.

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