Dec 15, 2008 · Successor levels of the Jensen hierarchy. Gunter Fuchs,. Gunter Fuchs ... Jensen, The fine structure of the constructible hierarchy.
Apr 25, 2008 · The second section introduces rudimentary terms, which can be viewed as codes for the elements of successor levels of the Jensen hierarchy.
Abstract. I prove that there is a recursive function T that does the following: Let X be transitive and rudimentarily closed, and let X ′ be the closure of ...
Dec 15, 2008 · Successor levels of the Jensen hierarchy · Abstract · References · Recommendations · Comments · Information & Contributors · Bibliometrics & Citations.
We present an extensible type system that unifies in a unique hierarchy some type systems from various source languages and ensures integrity and ...
In particular, at successor ... Also, the levels of the Jensen hierarchy satisfy a condensation lemma much like the levels of Gödel's original hierarchy.
Bibliographic details on Successor levels of the Jensen hierarchy.
Successor Levels of the Jensen Hierarchy by Gunter Fuchs published in Mathematical Logic Quarterly. Full text available on Amanote Research.
Aug 24, 2017 · If not, is there still a way to define “σ is γ-stable” in terms of the Jensen hierarchy and/or “σ is γ-J-stable” in terms of the Gödel hierarchy ...
Jun 14, 2025 · At each successor stage, we take the power set of the previous set: J α + 1 = P ( J α ) .
Missing: levels | Show results with:levels