Pages that link to "Item:Q1330312"
From MaRDI portal
The following pages link to Induction and foundation in the theory of hereditarily finite sets (Q1330312):
Displaying 6 items.
- A hierarchy of hereditarily finite sets (Q948912) (← links)
- Constructive Ackermann's interpretation (Q2120969) (← links)
- Hereditarily Finite Sets in Constructive Type Theory (Q2829273) (← links)
- Digraph parameters and finite set arithmetic (Q2947232) (← links)
- Substandard models of finite set theory (Q3066294) (← links)
- Bounded finite set theory (Q6047677) (← links)
