Bibliography

MSC 03C70, Logic on admissible sets.

1. Slaman, T. A. (1986). Σ₁-definitions with parameters. J. Symbolic Logic 51 No.2, 453--461. [MR] [GS][MRef]