Finite groups of OD-conjugates
From MaRDI portal
Publication:1098846
DOI10.1007/BF01896284zbMath0637.03050MaRDI QIDQ1098846
Richard Laver, Marcia J. Groszek
Publication date: 1987
Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Models of arithmetic and set theory (03C62) General theory for finite permutation groups (20B05)
Related Items
Typicality à la Russell in set theory ⋮ A Groszek‐Laver pair of undistinguishable ‐classes ⋮ A definable \(E_0\) class containing no definable elements ⋮ An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited ⋮ Ehrenfeucht's lemma in set theory ⋮ Generalized Iteration of Forcing
Cites Work