Pages that link to "Item:Q6094150"
From MaRDI portal
The following pages link to The theory of hereditarily bounded sets (Q6094150):
Displaying 7 items.
- Decidability of \(\exists^*\forall\forall\)-sentences in HF (Q1049750) (← links)
- Hereditarily-finite sets, data bases and polynomial-time computability (Q1311973) (← links)
- On the complexity of decision using destinies in \(H\)-bounded structures (Q1885032) (← links)
- The fair division of hereditary set systems (Q2190407) (← links)
- Hereditarily finite Finsler sets (Q3486556) (← links)
- (Q4297711) (← links)
- Enumeration of the adjunctive hierarchy of hereditarily finite sets (Q5262491) (← links)