Are there enough injective sets?

DOI10.1007/s11225-011-9365-8zbMath1319.03053arXiv1111.5180WikidataQ114223406 ScholiaQ114223406MaRDI QIDQ2377052

Peter Aczel, Peter M. Schuster, Benno van den Berg, Johan Georg Granström

Publication date: 27 June 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1111.5180

zbMATH Keywords

injective object; intuitionistic type theory; axiom of powerset; constructive Zermelo-Fraenkel set theory; restricted excluded middle

Mathematics Subject Classification ID

03E70: Nonclassical and second-order set theories

03F65: Other constructive mathematics

Related Items

A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus, Towards formal Baer criteria

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Aspects of predicative algebraic set theory. II: Realizability
• Binary refinement implies discrete exponentiation
• The shrinking principle and the axiom of choice
• Sheaves in geometry and logic: a first introduction to topos theory
• A course in constructive algebra
• What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory
• 100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?
• Injectivity, Projectivity, and the Axiom of Choice
• On constructing completions