scientific article; zbMATH DE number 1882496

zbMath1050.03040MaRDI QIDQ4797583

Michael Möllerfeld

Publication date: 16 March 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\mu\)-calculusproof theoryKripke-Platek set theorycomprehension axiomordinal analysisnonmonotone inductive definitionsreflection principlessubsystems of analysismonotone inductive definitionsstage comparison theoremgame quantifiers\(\Pi^1_2\)-comprehensionSuslin quantifiers

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Relative consistency and interpretations (03F25) Inductive definability (03D70)

Related Items (7)

A fixed point theory over stratified truth ⋮ The determinacy strength of \(\Pi_2^1\)-comprehension ⋮ Iterated Inductive Definitions Revisited ⋮ Proof Theory of Constructive Systems: Inductive Types and Univalence ⋮ \({\Pi^1_2}\)-comprehension and the property of Ramsey ⋮ Monoidal-closed categories of tree automata ⋮ On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics

This page was built for publication: