The following pages link to (Q3446484):
Displaying 8 items.
- Each family of subsets of the urelements generates an admissible set (Q751652) (← links)
- Self-admissible sets (Q969128) (← links)
- \(\Sigma\)-predicates of finite types over an admissible set (Q1820777) (← links)
- (Q5203001) (← links)
- Admissible Sets and Structures (Q5274793) (← links)
- A certain reducibility on admissible sets (Q5391560) (← links)
- (Q5482032) (← links)
- New Computational Paradigms (Q5717076) (← links)