Invariant Constructions of Simple and Maximal Sets
Frank P. Weber · Mathematical logic quarterly · 1995
Abstract The main results of the present paper are the following theorems: 1. There is no e ∈ ω such that for any A, B ⊆ ω, SA = W is simple in A, and if A′ T B′, then SA =* SB. 2 There is an e ∈ ω such that for any A, B ⊆ ω, MA = We is incomplete maximal in A, and if A =* B, then MA T MB.