Switch to: References

Citations of:

Hyperanalytic Predicates

Yiannis N. Moschovakis & Thomas J. Grilliot

Journal of Symbolic Logic 36 (1):147-148 (1971)

Add citations

You must login to add citations.

Reflection and forcing in E-recursion theory.Theodore A. Slaman - 1985 - Annals of Pure and Applied Logic 29 (1):79-106.details E -recursive enumerability is compared via forcing to Σ 1 definability. It is shown that for every countable E -closed ordinal κ there is a set of reals, X, so that L κ [ X ] is the least E -closed structure over X. Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 3 citations
The limits of E-recursive enumerability.Gerald E. Sacks - 1986 - Annals of Pure and Applied Logic 31:87-120.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 1 citation
Power set recursion.Lawrence S. Moss - 1995 - Annals of Pure and Applied Logic 71 (2):247-306.details Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 4 citations
Set recursion and Πhalf-logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.details Computability in Philosophy of Computing and Information Science, Logic, and Mathematics Theory of Computation in Philosophy of Computing and Information Direct download (4 more) Export citation Bookmark 7 citations

1