Available identifiers
zbMath Open pasquali.fabio MaRDI QID Q263882
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv . We are working on additional sources - please check back here soon!
Publication Date of Publication Type Logical foundations of quantitative equality 2024-12-06 Paper Quotients and extensionality in relational doctrines 2024-10-21 Paper Elementary fibrations of enriched groupoids 2022-06-24 Paper A characterisation of elementary fibrations 2022-04-25 Paper Quasitoposes as elementary quotient completions 2021-11-30 Paper Quantitative Equality in Substructural Logic via Lipschitz Doctrines 2021-10-11 Paper Elementary doctrines as coalgebras 2021-01-22 Paper https://portal.mardi4nfdi.de/entity/Q4968383 2019-07-12 Paper A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus 2019-02-04 Paper On a generalization of equilogical spaces 2018-08-06 Paper Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies 2018-02-18 Paper Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator 2017-12-08 Paper https://portal.mardi4nfdi.de/entity/Q5354752 2017-09-04 Paper A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms 2017-05-12 Paper Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers 2016-06-27 Paper Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness 2016-04-05 Paper Hilbertian Toposes Epsilon Toposes 2016-03-02 Paper The axiom of choice, co-comprehension schema and redundancies in triposes 2016-02-12 Paper A tripos based on compact Hausdorff spaces 2016-02-10 Paper A co-free construction for elementary doctrines 2015-02-05 Paper A categorical semantic for the Typed Epsilon Calculus 2014-09-08 Paper Remarks on the Tripos To Topos Construction: extensionality, comprehensions, quotients and cauchy-complete objects 2014-01-30 Paper A sheafification theorem for doctrines 2013-11-06 Paper Cauchy-completions and the rule of unique choice in relational doctrines N/A Paper
Research outcomes over time
This page was built for person: Fabio Pasquali
