Switch to: Citations

References in:

Large cardinals and large dilators

Journal of Symbolic Logic 63 (4):1496-1510 (1998)

Add references

You must login to add references.

Π 2 1 -Logic and uniformization in the analytical hierarchy.J. P. Ressayre - 1989 - Archive for Mathematical Logic 28 (2):99-117.details We give a simple proof ofΠ 1 1 andΠ 2 1 uniformization results, which is based on the use ofΠ 2 1 -Logic. Areas of Mathematics in Philosophy of Mathematics Direct download (3 more) Export citation Bookmark 2 citations
A strong boundedness theorem for dilators.A. S. Kechris & W. H. Woodin - 1991 - Annals of Pure and Applied Logic 52 (1-2):93-97.details We prove a strong boundedness theorem for dilators: if A ⊆ DIL is Σ 1 1 , then there is a recursive dilator D 0 such that ∀ D ∈ A. Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 3 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
Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.details Areas of Mathematics in Philosophy of Mathematics Direct download (3 more) Export citation Bookmark 50 citations
[product]¹2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 51 citations
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.details Logic and Philosophy of Logic Export citation Bookmark 161 citations

1