In this talk,I will present some recent work related to precipitous ideal on ω1.We give an upper bounded of consistent strength of TCG ideal and non statio
This paper shows the non-triviality of second-order paraconsistent comprehension and Freges infamous Basic Law V.Then,it shows that Humes Principle can be d
Mammalogical research in the Guianas has had a checkered history beginning with being relatively well known during the time of Linnaeus and then followed by
In Part 1,I will introduce Frege theorem and Frege arithmetic,then I will give some models of Frege arithmetic,including the fragments of first-order one an
Rodents could influence plant regeneration as both seed predators and dispersers.With the combination of both field and experimental(in cage and semi-natura
Classic epistemic logic focuses on propositional knowledge(knowing that p).However,various kinds of knowledge are used in everyday life,which suggest non-st