2 citations · 6 across the 11 of their papers we have counts for
Showing 2016Show all
4 papers · 1 filter
math.LO2016
Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers
Fabio Pasquali, Christian Retoré
Aristotle considered particular quantified sentences in his study of syllogisms and in his famous square of opposition. Of course, the logical formulas in Aristotle work were not m…
math.CT2016
Hilbertian Toposes Epsilon Toposes
Fabio Pasquali
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.
math.LO2016
The axiom of choice, co-comprehension schema and redundancies in triposes
Fabio Pasquali
We study the role of the axiom of choice and co-comprehention in second order encoding of first order predicates logic
math.CT2016
A tripos based on compact Hausdorff spaces
Fabio Pasquali
The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.