About this site

This is the google site of Zuhair Al-Johar on some topics in formal mathematics.

The site contains a lot of my thoughts about various aspects of formal mathematics. Many of them might not be well organised. I'm just thinking matters out loud. 

However, there are some articles which are pretty much precise and even one is published officially in a journal about formal logic. Most of those are the articles related to Acyclicity and Stratification criterion. 

Below I attached these articles, which could be seen as the most serious of my attempts.