Pages that link to "Item:Q4032873"
From MaRDI portal
The following pages link to A proof-theoretic characterization of the primitive recursive set functions (Q4032873):
Displaying 14 items.
- Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
- Productive sets and constructively nonpartial-recursive functions (Q1105589) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Characterizing the elementary recursive functions by a fragment of Gödel's \(T\) (Q1590659) (← links)
- Predicatively computable functions on sets (Q2339966) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- End extending models of set theory via power admissible covers (Q2672157) (← links)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
- A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$ (Q3807195) (← links)
- AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS (Q4551993) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← links)
- Computable aspects of the Bachmann–Howard principle (Q5118047) (← links)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- Logical problems of functional interpretations (Q5957851) (← links)
