A proof-theoretic characterization of the primitive recursive set functions

DOI10.2307/2275441MaRDI QIDQ4032873zbMATH OpenOpenAlexFDO

Authors Michael Rathjen

Publication date 1 April 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275441

zbMATH Keywords

\(\Sigma_ 1\)-foundationaxioms of infinitycut-eliminationKripke-Platek set theoryprimitive recursive set functionsprovably recursive functionssubsystems of KP

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Nonclassical and second-order set theories (03E70) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Provably recursive functions of reflection
• scientific article; zbMATH DE number 2186953
• Computer Science Logic
• scientific article; zbMATH DE number 1215495
• A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\)

Cites work

• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 3356762 (Why is no real title available?)
• On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION
• The fine structure of the constructible hierarchy
• The syntax and semantics of infinitary languages

Cited in

(26)

• Productive sets and constructively nonpartial-recursive functions
• A non-well-founded primitive recursive tree provably well-founded for co-r. e. sets
• Functional interpretation of Aczel's constructive set theory
• Characterizing the elementary recursive functions by a fragment of Gödel's \(T\)
• Predicatively computable functions on sets
• Rudimentary recursion, gentle functions and provident sets
• Theories and ordinals in proof theory
• End extending models of set theory via power admissible covers
• Interpreting classical theories in constructive ones
• scientific article; zbMATH DE number 3857076 (Why is no real title available?)
• Fragments of Kripke-Platek set theory and the metamathematics of -recursion theory
• scientific article; zbMATH DE number 3983154 (Why is no real title available?)
• A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$
• scientific article; zbMATH DE number 408791 (Why is no real title available?)
• scientific article; zbMATH DE number 1235084 (Why is no real title available?)
• AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS
• scientific article; zbMATH DE number 1889701 (Why is no real title available?)
• Provably recursive functions of reflection
• Set-theoretic reflection is equivalent to induction over well-founded classes
• Computable aspects of the Bachmann-Howard principle
• Cobham recursive set functions and weak set theories
• A categorical construction of Bachmann–Howard fixed points
• A simple proof of Parsons' theorem
• Logical problems of functional interpretations
• Induction on dilators and Bachmann-Howard fixed points
• On Nash-Williams' theorem regarding sequences with finite range

This page was built for publication: A proof-theoretic characterization of the primitive recursive set functions

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