Pages that link to "Item:Q1288078"
From MaRDI portal
The following pages link to Strong \(\Delta_1\)-definability of a model in an admissible set (Q1288078):
Displaying 7 items.
- Countably decomposable admissible sets (Q762060) (← links)
- \(\Delta_{1}\) ultrapowers are totally rigid (Q884952) (← links)
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) (Q2300935) (← links)
- Definability of Boolean algebras in \({\mathbb {HF}}\)-superstructures (Q2714038) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
- (Q3491528) (← links)
- (Q4936678) (← links)
