Pages that link to "Item:Q1307172"
From MaRDI portal
The following pages link to Numberings and definability in the hereditarily finite superstructure of a model (Q1307172):
Displaying 7 items.
- Strong \(\Delta_1\)-definability of a model in an admissible set (Q1288078) (← links)
- The intrinsic enumerability of linear orders (Q2714036) (← links)
- Definability of Boolean algebras in \({\mathbb {HF}}\)-superstructures (Q2714038) (← links)
- Cardinalities of definable sets in superstructures over models (Q2880489) (← links)
- (Q4664636) (← links)
- (Q4677695) (← links)
- (Q4936678) (← links)