Jump to content
Main menu
Navigation
●Main page
●Contents
●Current events
●Random article
●About Wikipedia
●Contact us
●Donate
Contribute
●Help
●Learn to edit
●Community portal
●Recent changes
●Upload file
Search
●Create account
●Log in
●Create account
● Log in
Pages for logged out editors learn more
●Contributions
●Talk
User:Felix QW
●User page
●Talk
●Read
●Edit
●View history
Tools
Actions
●Read
●Edit
●View history
General
●What links here
●Related changes
●User contributions
●User logs
●View user groups
●Upload file
●Special pages
●Permanent link
●Page information
●Get shortened URL
●Download QR code
Print/export
●Download as PDF
●Printable version
Appearance
From Wikipedia, the free encyclopedia
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
Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Felix_QW&oldid=1216673266"
Categories:
●WikiProject Mathematics participants
●Wikipedians interested in mathematics
●WikiProject Merge participants
●Wikipedians who have adopted in Adopt-a-user
●This page was last edited on 1 April 2024, at 10:44 (UTC).
●Text is available under the Creative Commons Attribution-ShareAlike License 4.0;
additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.
●Privacy policy
●About Wikipedia
●Disclaimers
●Contact Wikipedia
●Code of Conduct
●Developers
●Statistics
●Cookie statement
●Mobile view