The following pages link to Maria Emilia Maietti (Q382420):
Displayed 43 items.
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Unifying exact completions (Q2254599) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Joyal's arithmetic universes via type theory (Q2842826) (← links)
- (Q2849881) (← links)
- (Q2851541) (← links)
- Elementary quotient completion (Q2855642) (← links)
- On Choice Rules in Dependent Type Theory (Q2988806) (← links)
- Modular correspondence between dependent type theories and categories including pretopoi and topoi (Q3371526) (← links)
- (Q3552042) (← links)
- (Q4246949) (← links)
- (Q4508305) (← links)
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? (Q4704657) (← links)
- (Q4896529) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- Constructive version of Boolean algebra (Q4925157) (← links)
- (Q4944857) (← links)
- (Q4968383) (← links)
- Why topology in the minimalist foundation must be pointfree (Q4982399) (← links)
- (Q5009707) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125) (← links)
- Relating Quotient Completions via Categorical Logic (Q5221857) (← links)
- An extensional Kleene realizability semantics for the Minimalist Foundation (Q5277976) (← links)
- A structural investigation on formal topology: coreflection of formal covers and exponentiability (Q5311765) (← links)
- Quotients over Minimal Type Theory (Q5425354) (← links)
- (Q5718565) (← links)
- (Q5718572) (← links)
- The Minimalist Foundation and Bishop’s Constructive Mathematics (Q6116083) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)
- Subspaces of an arithmetic universe via type theory (Q6221671) (← links)
- Subspaces of an arithmetic universe via type theory (Q6221871) (← links)
- Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies (Q6297918) (← links)
- A predicative variant of Hyland's Effective Topos (Q6303352) (← links)
- A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice (Q6319522) (← links)
- Generalized existential completions and their regular and exact completions (Q6382372) (← links)
- Quasitoposes as elementary quotient completions (Q6384347) (← links)