A characterization of those categories whose internal logic is Hilbert's ε-calculus von Pasquali, Fabio

Volltext

On a Generalization of Equilogical Spaces von Pasquali, Fabio

Volltext

Elementary doctrines as coalgebras von Emmenegger, Jacopo, Pasquali, Fabio, Rosolini, Giuseppe

Volltext

Quantification in Ordinary Language and Proof Theory von Abrusci, Michele, Pasquali, Fabio, Retoré, Christian

Volltext

A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert’s ε-Terms von Pasquali, Fabio

Volltext

Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness von Pasquali, Fabio

Volltext

A Co-free Construction for Elementary Doctrines von Pasquali, Fabio

Volltext

A characterisation of elementary fibrations von Emmenegger, Jacopo, Pasquali, Fabio, Rosolini, Giuseppe

Volltext

Elementary fibrations of enriched groupoids von Emmenegger, Jacopo, Pasquali, Fabio, Rosolini, Giuseppe

Volltext

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies von Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini

Volltext

The Relational Quotient Completion von Dagnino, Francesco, Pasquali, Fabio

Volltext bestellen

Cauchy-completions and the rule of unique choice in relational doctrines von Dagnino, Francesco, Pasquali, Fabio

Volltext bestellen

Quantification in Ordinary Language and Proof Theory von Michele Abrusci, Fabio Pasquali, Christian Retoré

Volltext

Quantitative Equality in Substructural Logic via Lipschitz Doctrines von Dagnino, Francesco, Pasquali, Fabio

Volltext bestellen

Quantitative Equality in Substructural Logic via Lipschitz Doctrines von Dagnino, Francesco, Pasquali, Fabio

Volltext

The Relational Quotient Completion von Dagnino, Francesco, Pasquali, Fabio

Volltext

Cauchy-completions and the rule of unique choice in relational doctrines von Dagnino, Francesco, Pasquali, Fabio

Volltext

Hilbertian Toposes Epsilon Toposes von Pasquali, Fabio

Volltext bestellen

The axiom of choice, co-comprehension schema and redundancies in triposes von Pasquali, Fabio

Volltext bestellen

A tripos based on compact Hausdorff spaces von Pasquali, Fabio

Volltext bestellen