Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)

DOI10.1007/BF01625834zbMath0642.03034OpenAlexW1956167567MaRDI QIDQ1101106

Wilfried Buchholz

Publication date: 1988

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01625834

zbMATH Keywords

admissible sets\(\Pi \) \({}\) \(1_ 2\)-logicdilatorsinductive defnition

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Inductive definability (03D70) Proof theory and constructive mathematics (03F99)

Related Items (2)

Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ \(\Pi_1^1\)-comprehension as a well-ordering principle

Cites Work

• Set recursion and \(\Pi ^ 1_ 2\)-logic
• Introduction to \(\Pi^1_2\)-logic
• Π12-logic, Part 1: Dilators
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)