Abstract | ||
---|---|---|
Several properties of monotone functionals (MF) and monotone majorizable functionals(MMF) used in the earlier work by the author and van de Pol are proved. It turns out thatthe terms of the simply typed lambda-calculus define MF, but adding primitive recursion,and even monotonic primitive recursion changes the situation: already Z:Z(1 \Gamma sg) is notMMF. It is proved that extensionality is not Dialectica-realizable by MMF, and a simpleexample of a MF which is not hereditarily majorizable ... |
Year | DOI | Venue |
---|---|---|
1999 | 10.1023/A:1026459821186 | Studia Logica |
Keywords | Field | DocType |
Monotone functionals,monotone majorizable functionals,hereditarily majorizable functionals,simply typed lambda-calculus,extensionality,Dialectica interpretation | Monotonic function,Extensionality,Discrete mathematics,Primitive recursive function,Simply typed lambda calculus,Dialectica interpretation,Monotone polygon,Mathematics | Journal |
Volume | Issue | ISSN |
62 | 2 | 1572-8730 |
Citations | PageRank | References |
1 | 0.36 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Helmut Schwichtenberg | 1 | 373 | 44.83 |