A tripos based on compact Hausdorff spaces
The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.
Source author record
Fabio Pasquali
Fabio Pasquali appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
8works
2topics
1close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
8 published item(s)
preprint2016arXiv
Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers
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 modern formulas of mathematical logic, but ordinary sentences of natural language. Nowadays natural language sentences are turned into formulas of predicate logic as defined by Frege, but, it is not clear that those Fregean sentences are faithful representations of natural language sentences. Indeed, the usual modelling of natural language quantifiers does not fully correspond to natural language syntax, as we shall see. This is the reason why Hilbert's epsilon and tau quantifiers (that go beyond usual quantifiers) have been used to model natural language quantifiers. Here we interpret Aristotle quantified sentences as formulas of Hilbert's epsilon and tau calculus. This yields to two potential squares of opposition and provided a natural condition holds, one of these two squares is actually a square of opposition i.e. satisfies the relations of contrary, contradictory, and subalternation.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Hilbertian Toposes Epsilon Toposes
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
The axiom of choice, co-comprehension schema and redundancies in triposes
We study the role of the axiom of choice and co-comprehention in second order encoding of first order predicates logic
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
A categorical semantic for the Typed Epsilon Calculus
We show that every boolean category satisfying AC provides a categorical semantic of the typed Epsilon calculus.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
A co-free construction for elementary doctrines
We provide a co-free construction which adds elementary structure to a primary doctrine. We show that the construction preserves comprehensions and all the logical operations which are in the starting doctrine, in the sense that it maps a first order many-sorted theory into a the same theory formulated with equality. As a corollary it forces an implicational doctrine to have an extentional entailment.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
A sheafification theorem for doctrines
We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a suitable doctrine.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Remarks on the Tripos To Topos Construction: extensionality, comprehensions, quotients and cauchy-complete objects
We give a description of the Tripos To Topos construction in terms of four free constructions. We prove that these compose up to give a free construction from the category of triposes and logical morphisms to the category of toposes and logical functors. Then we show that other similar constructions, i.e. the one given by Frey in \cite{frey} and that of Carboni in \cite{carbons} are instances of this one.
0 citations0 reviewsNo code linkedOpen access