Finite groups of OD-conjugates

DOI10.1007/BF01896284zbMath0637.03050MaRDI QIDQ1098846

Richard Laver, Marcia J. Groszek

Publication date: 1987

Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)

zbMATH Keywords

models of set theoryordinal definabilityperfect set forcing

Mathematics Subject Classification ID

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

• Iterated perfect-set forcing
• Unnamed Item
• Unnamed Item