Monotone majorizable functionals

DOI10.1023/A:1026459821186zbMATH Open0923.03070OpenAlexW1551570802MaRDI QIDQ1288967

Helmut Schwichtenberg

Publication date: 28 October 1999

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026459821186

zbMATH Keywords

Dialectica interpretationextensionalityprimitive recursionsimply typed lambda-calculusmonotone functionalshereditarily majorizable functionalshigher-order functionalsmonotone majorizable functionals

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Maximal monotone multifunctions of Brøndsted-Rockafellar type ⋮ Maximal monotonicity of bifunctions

This page was built for publication: Monotone majorizable functionals

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