Monotone majorizable functionals
type: Item
instance of: scholarly article
title: Monotone majorizable functionals
zbMATH Open document ID: 0923.03070
DOI: 10.1023/A:1026459821186
author: Helmut Schwichtenberg
published in: Studia Logica
publication date: 1999-10-28T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F10
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1289858
zbMATH Keywords: hereditarily majorizable functionals
zbMATH Keywords: Dialectica interpretation
zbMATH Keywords: higher-order functionals
zbMATH Keywords: monotone functionals
zbMATH Keywords: monotone majorizable functionals
zbMATH Keywords: simply typed lambda-calculus
zbMATH Keywords: primitive recursion
zbMATH Keywords: extensionality
MaRDI profile type: Publication
full work available at URL: a:1026459821186
OpenAlex ID: W1551570802
description: scientific article; zbMATH DE number 1289858