The following pages link to (Q4936678):
Displaying 6 items.
- Strong \(\Delta_1\)-definability of a model in an admissible set (Q1288078) (← links)
- Numberings and definability in the hereditarily finite superstructure of a model (Q1307172) (← links)
- Definability of Boolean algebras in \({\mathbb {HF}}\)-superstructures (Q2714038) (← links)
- (Q4664636) (← links)
- (Q4677695) (← links)
- (Q4944918) (← links)