𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Homogeneous and Universal Dedekind Algebras

✍ Scribed by George Weaver


Book ID
110222253
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
735 KB
Volume
64
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The Fraenkel-Carnap question for Dedekin
✍ George Weaver; Benjamin George πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 103 KB

## Abstract It is shown that the second‐order theory of a Dedekind algebra is categorical if it is finitely axiomatizable. This provides a partial answer to an old and neglected question of Fraenkel and Carnap: whether every finitely axiomatizable semantically complete second‐order theory is catego