Pages that link to "Item:Q456884"

The following pages link to An induction principle for consequence in arithmetic universes (Q456884):

Displaying 5 items.

• Continuity and geometric logic (Q280833) (← links)
• Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
• Aspects of Categorical Recursion Theory (Q5014598) (← links)
• (Q5101348) (← links)
• Fibrations of AU-contexts beget fibrations of toposes (Q5112051) (← links)