𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Axiomatic theory of enumeration: a note on the axiom of extensionality

✍ Scribed by P. L. Ferrari; G. Longo

Publisher
Springer Netherlands
Year
1978
Tongue
English
Weight
354 KB
Volume
37
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the axiom of extensionality in the po
On the axiom of extensionality in the positive set theory
✍ Olivier Esser πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 102 KB πŸ‘ 1 views

## Abstract This is a study of the relative interpretability of the axiom of extensionality in the positive set theory. This work has to be considered in the line of works of R. O. Gandy, D. Scott and R. Hinnion who have studied the relative interpretability of the axiom of extensionality in set th

A note on the interpretability logic of
A note on the interpretability logic of finitely axiomatized theories
✍ Maarten Rijke πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 481 KB

Ill [6] Albert Visser shows that ILP completely axiomatizes all schemata about provabihty and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ~ that completely axiomatizes the arithmetically valid principles of provability

A Note on Relative Efficiency of Axiom S
A Note on Relative Efficiency of Axiom Systems
✍ Sandra Fontani; Franco Montagna; Andrea Sorbi πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 664 KB

## Abstract We introduce a notion of relative efficiency for axiom systems. Given an axiom system __A__~Ξ²~ for a theory __T__ consistent with __S__^1^~2~, we show that the problem of deciding whether an axiom system __A__~Ξ±~ for the same theory is more efficient than __A__~Ξ²~ is II~2~‐hard. Several