The following pages link to Marco Benini (Q590180):
Displaying 13 items.
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness (Q263883) (← links)
- Priestley-type dualities for partially ordered structures (Q290644) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- What do Freyd's toposes classify? (Q382418) (← links)
- Basic subtoposes of the effective topos (Q387125) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Topological inductive definitions (Q450944) (← links)
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Constructions of categories of setoids from proof-irrelevant families (Q512135) (← links)
- Contextual semantics in quantum mechanics from a categorical point of view (Q1708773) (← links)
- Characterizing partitioned assemblies and realizability toposes (Q1713020) (← links)
- Well quasi orders in a categorical setting (Q1734279) (← links)
