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 12 items.
- A hierarchy of hereditarily finite sets (Q948912) (← links)
- Finitary set theory (Q1049686) (← links)
- Minimal reducible bounds for induced-hereditary properties (Q1883266) (← links)
- Constructive Ackermann's interpretation (Q2120969) (← links)
- Finiteness axioms on fragments of intuitionistic set theory (Q2425348) (← 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)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)
- An induction principle and pigeonhole principles for K-finite sets (Q4876318) (← links)
- (Q5212299) (← links)
- Bounded finite set theory (Q6047677) (← links)