Pages that link to "Item:Q1166517"
From MaRDI portal
The following pages link to Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies (Q1166517):
Displayed 6 items.
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- Type-theoretic interpretation of iterated, strictly positive inductive definitions (Q688845) (← links)
- Proofs, programs, processes (Q693063) (← links)
- Extended bar induction in applicative theories (Q753810) (← links)