✦ LIBER ✦

Equivalence of bar recursors in the theory of functionals of finite type

✍ Scribed by Marc Bezem

Publisher: Springer
Year: 1988
Tongue: English
Weight: 541 KB
Volume: 27
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01620763

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The uniqueness of finite division for re

The uniqueness of finite division for recursive equivalence types

✍ Richard Friedberg 📂 Article 📅 1961 🏛 Springer-Verlag 🌐 French ⚖ 181 KB

The equivalence of a smooth function to

The equivalence of a smooth function to a Taylor polynomial in the neighborhood of a finite-type critical point

✍ A. M. Samoilenko 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 316 KB

Equations over finite sets of words and

Equations over finite sets of words and equivalence problems in automata theory

✍ J. Karhumäki 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 1018 KB

Simplifying functionals in the theory of

Simplifying functionals in the theory of elastoplastic processes

✍ V. I. Malyi 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 316 KB

On the proof theory of type two function

On the proof theory of type two functionals based on primitive recursive operations

✍ David Steiner; Thomas Strahm 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 209 KB

## Abstract This paper is a companion to work of Feferman, Jäger, Glaß, and Strahm on the proof theory of the type two functionals __μ__ and E~1~ in the context of Feferman‐style applicative theories. In contrast to the previous work, we analyze these two functionals in the context of Schlüter's we

Equivalence relations in the theory of r

Equivalence relations in the theory of repetitive consumption

✍ Joseph L. Balintfy; Emmanuel S. Melachrinoudis 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 358 KB

## Abstract Preference for food in the function of the time since last consumption and total preference in the function of eating frequency are equivalent mathematical representations of attitudes governing food consumption. The observed and postulated properties of these functions imply a formal c