Pages that link to "Item:Q3371526"
From MaRDI portal
The following pages link to Modular correspondence between dependent type theories and categories including pretopoi and topoi (Q3371526):
Displaying 25 items.
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- The identity type weak factorisation system (Q959823) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Dialectica logical principles (Q2151422) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- On Choice Rules in Dependent Type Theory (Q2988806) (← links)
- Setoids and universes (Q3583021) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- (Q4611379) (← links)
- (Q4611383) (← links)
- (Q5009707) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- On Church’s thesis in cubical assemblies (Q5055494) (← links)
- Models of Type Theory Based on Moore Paths (Q5111326) (← links)
- The existential completion (Q5129224) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
- From type theory to setoids and back (Q5889302) (← links)
- (Q6060677) (← links)
- A class of higher inductive types in Zermelo‐Fraenkel set theory (Q6094139) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)
- A constructive picture of Noetherian conditions and well quasi-orders (Q6149029) (← links)