SMS: Archive for mathematical logic [Arch Math Log] NLMUID: 101772307