Recursive fibers of RST isols
Thomas G. McLaughlin · Proceedings of the American Mathematical Society · 1993
Motivated by a conjecture of Ellentuck concerning fibers $f_ \wedge ^{ - 1}(C),f$ recursive and $C$ an element of one of Barback’s "tame models" (Tame models in the isols, Houston J. Math. 12 (1986), 163-175), we study such fibers in the more general context of Nerode semirings. The principal results are that (1) all existentially complete Nerode semirings meet all of their recursive fibers, and (2) not all Nerode semirings meet all of their recursive fibers.