Pages that link to "Item:Q3655246"

The following pages link to Functional interpretation and inductive definitions (Q3655246):

Displaying 12 items.

• The bounded functional interpretation of bar induction (Q435192) (← links)
• The metamathematics of ergodic theory (Q1006602) (← links)
• Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) (Q1101106) (← links)
• Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
• Realizability interpretation of generalized inductive definitions (Q1331920) (← links)
• \(\mathbf L^i \mathbf D^Z_\lambda\) as a basis for PRA (Q1411662) (← links)
• Intuitionistic fixed point logic (Q2220485) (← links)
• A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
• Functional interpretation and the existence property (Q3159413) (← links)
• Iterated Inductive Definitions Revisited (Q5214787) (← links)
• On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791) (← links)
• Herbrandized modified realizability (Q6565573) (← links)