Pages that link to "Item:Q4579809"

The following pages link to ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS (Q4579809):

Displaying 2 items.

• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
• On Small Types in Univalent Foundations (Q6135756) (← links)