scientific article; zbMATH DE number 3497881
From MaRDI portal
Publication:4079598
zbMath0318.02042MaRDI QIDQ4079598
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Large cardinals (03E55) Higher-type and set recursion theory (03D65) Hierarchies of computability and definability (03D55)
Related Items (23)
Proof theory of reflection ⋮ Parallel Feedback Turing Computability ⋮ Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection ⋮ Levels of truth ⋮ The Galvin-Prikry theorem and set existence axioms ⋮ Locally hyperarithmetical induction ⋮ Proof theory for theories of ordinals. I: Recursively Mahlo ordinals ⋮ Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators ⋮ A characterization of \(\Sigma_1^1\)-reflecting ordinals ⋮ The Operational Perspective: Three Routes ⋮ STABLY MEASURABLE CARDINALS ⋮ The modal mu-calculus alternation hierarchy is strict ⋮ Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions ⋮ An ordinal analysis of stability ⋮ An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension ⋮ Operational set theory and small large cardinals ⋮ Possible-worlds semantics for modal notions conceived as predicates ⋮ The modal mu-calculus alternation hierarchy is strict ⋮ Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers) ⋮ Reflections on reflections in explicit mathematics ⋮ GAMES AND REFLECTION IN ⋮ Epsilon substitution method for \([\Pi^0_1,\Pi^0_1\)-FIX] ⋮ THE ORDER OF REFLECTION
This page was built for publication:
