๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Infinitary definitions of equivalence relations in models of PA

โœ Scribed by Richard Kaye

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
417 KB
Volume
89
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Complementation in the lattice of equiva
Complementation in the lattice of equivalence relations
โœ Dikran Dikranjan; Alberto Policriti ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 646 KB

The aim of this paper is to study those pairs of complementary equivalence relations on a fixed set which are maximal as families of mutually complementary equivalence relations. The existence of such pairs on uncountable sets was proved by Steprgns and Watson (1995). They conjectured that such pair

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