𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The undecidability of the second order predicate unification problem

✍ Scribed by Gilles Amiot


Publisher
Springer
Year
1990
Tongue
English
Weight
397 KB
Volume
30
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The Axiom of Choice in Second-Order Pred
✍ Christine Gaßner πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 586 KB

## Abstract The present article deals with the power of the axiom of choice (AC) within the second‐order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in