Pages that link to "Item:Q4579809"
From MaRDI portal
The following pages link to ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS (Q4579809):
Displaying 6 items.
- Game-theoretic inductive definability (Q1314543) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- (Q3493257) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)