On equivalence relations second order definable over H(κ)

From MaRDI portal
Publication:4548833