scientific article; zbMATH DE number 3259893
From MaRDI portal
Publication:5545953
Cites work
- A survey of proof theory
- scientific article; zbMATH DE number 3216177 (Why is no real title available?)
- scientific article; zbMATH DE number 3216998 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
Cited in
(17)- An axiomatic approach to self-referential truth
- Equivalence of bar recursors in the theory of functionals of finite type
- Polymorphic extensions of simple type structures. With an application to a bar recursive minimization
- Characterising Brouwer's continuity by bar recursion on moduli of continuity
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
- On Spector's bar recursion
- scientific article; zbMATH DE number 3693265 (Why is no real title available?)
- Some derived rules of intuitionistic second order arithmetic
- The bounded functional interpretation of bar induction
- Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
- Delimited control operators prove double-negation shift
- A direct proof of Schwichtenberg's bar recursion closure theorem
- scientific article; zbMATH DE number 7269245 (Why is no real title available?)
- Bar recursion over finite partial functions
- Classical provability of uniform versions and intuitionistic provability
- Logical problems of functional interpretations
- Proof-theoretic investigation of -reduction in the simply typed -calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5545953)
