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

Diagonal fixed points in algebraic recursion theory

โœ Scribed by Jordan Zashev

Publisher
Springer
Year
2005
Tongue
English
Weight
223 KB
Volume
44
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Fixed points in finite de Morgan algebra
Fixed points in finite de Morgan algebras
โœ Jules Varlet ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 886 KB

We eharacterise the fixed points of the polarity of a de Morgan algebra by means of binary partitions of the subset of join-irreducible elements. We apply this characterisation to compute the number of fixed" points in the finite distributive lattices every interval of which can be made into a de Mo