The following pages link to (Q3853627):
Displaying 16 items.
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories (Q676312) (← links)
- A logical approach to stable domains (Q859843) (← links)
- Pluri-adjoints and preservation of finite limits (Q914820) (← links)
- An algebraic approach to stable domains (Q917677) (← links)
- De Morgan's law and the theory of fields (Q1034092) (← links)
- A topos-theorist looks at dilators (Q1121978) (← links)
- Stable neighbourhoods (Q1185012) (← links)
- Syntactic characterization of closure under connected limits (Q1210580) (← links)
- Stone duality and representation of stable domain (Q1368465) (← links)
- On abstract data types presented by multiequations (Q1607218) (← links)
- Limits in free coproduct completions (Q1910734) (← links)
- Fraïssé's construction from a topos-theoretic perspective (Q2254565) (← links)
- Quasi-coproducts and accessible categories with wide pullbacks (Q2563764) (← links)
- Universal abstract elementary classes and locally multipresentable categories (Q4644724) (← links)
- Disjunctive systems and L-Domains (Q5204324) (← links)
- A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES (Q6103450) (← links)
