scientific article; zbMATH DE number 3497881

MaRDI QIDQ4079598zbMATH OpenFDO

Authors Wayne Richter, Peter Aczel

Publication date 1974

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Higher-type and set recursion theory (03D65) Large cardinals (03E55)

Cited in

(29)

• The Galvin-Prikry theorem and set existence axioms
• The modal mu-calculus alternation hierarchy is strict
• Proof theory of reflection
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• An ordinal analysis of stability
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Possible-worlds semantics for modal notions conceived as predicates
• Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)
• Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
• Levels of truth
• A characterization of \(\Sigma_1^1\)-reflecting ordinals
• Reflections on reflections in explicit mathematics
• Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX
• The Operational Perspective: Three Routes
• THE ORDER OF REFLECTION
• STABLY MEASURABLE CARDINALS
• Parallel feedback Turing computability
• GAMES AND REFLECTION IN
• Locally hyperarithmetical induction
• The modal mu-calculus alternation hierarchy is strict
• Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators
• A proof of Grilliot's theorem
• Computability and non-monotone induction
• Monotone versus non-monotone projective operators
• Interpretation of inaccessible sets in Martin-Löf type theory with one Mahlo universe
• The metamathematics of separated determinacy
• Reflection properties of ordinals in generic extensions
• Operational set theory and small large cardinals
• Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4079598)