Are there enough injective sets?

DOI10.1007/s11225-011-9365-8zbMath1319.03053arXiv1111.5180OpenAlexW2170071327WikidataQ114223406 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 objectintuitionistic type theoryaxiom of powersetconstructive Zermelo-Fraenkel set theoryrestricted excluded middle

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Related Items (2)

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

This page was built for publication: Are there enough injective sets?