𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bounded iteration and unary functions

✍ Scribed by Stefano Mazzanti

Publisher
John Wiley and Sons
Year
2005
Tongue
English
Weight
111 KB
Volume
51
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

The set of unary functions of complexity classes defined by using bounded primitive recursion is inductively characterized by means of bounded iteration. Elementary unary functions, linear space computable unary functions and polynomial space computable unary functions are then inductively characterized using only composition and bounded iteration. (Β© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

πŸ“œ SIMILAR VOLUMES

Iterative Characterizations of Computabl
Iterative Characterizations of Computable Unary Functions: A General Method
✍ Stefano Mazzanti πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 470 KB

## Abstract Iterative characterizations of computable unary functions are useful patterns for the definition of programming languages based on iterative constructs. The features of such a characterization depend on the pairing producing it: this paper offers an infinite class of pairings involving

Rigid Unary Functions and the Axiom of C
Rigid Unary Functions and the Axiom of Choice
✍ Wolfgang Degen πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 168 KB πŸ‘ 2 views

We shall investigate certain statements concerning the rigidity of unary functions which have connections with (weak) forms of the axiom of choice.

Functions of bounded variation and polar
Functions of bounded variation and polarization
✍ Angela Alberico; Adele Ferone; Roberta Volpicelli πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 146 KB

## Abstract It is known that, if __u__ is a real valued function on ℝ^__N__^ of bounded variation, then its total variation decreases under polarization. In this paper we identify the difference between the total variation of __u__ and that one of its polar __u__~Ξ ~ (Β© 2009 WILEY‐VCH Verlag GmbH &

Extension of bounded vector-valued funct
Extension of bounded vector-valued functions
✍ Leonhard Frerick; Enrique JordΓ‘; Jochen Wengenroth πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 130 KB

## Abstract In this paper we consider extensions of bounded vector‐valued holomorphic (or harmonic or pluriharmonic) functions defined on subsets of an open set Ξ© βŠ‚ ℝ^__N__^ . The results are based on the description of vector‐valued functions as operators. As an application we prove a vector‐value