The following pages link to Finite groups of OD-conjugates (Q1098846):
Displayed 6 items.
- A definable \(E_0\) class containing no definable elements (Q494659) (← links)
- Ehrenfeucht's lemma in set theory (Q1782238) (← links)
- Typicality à la Russell in set theory (Q2153829) (← links)
- A Groszek‐Laver pair of undistinguishable ‐classes (Q5108086) (← links)
- An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited (Q5163164) (← links)
- Generalized Iteration of Forcing (Q5752563) (← links)