𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Complexity of Hybrid Logics over Equivalence Relations

✍ Scribed by Martin Mundhenk; Thomas Schneider


Book ID
106389727
Publisher
Springer Netherlands
Year
2009
Tongue
English
Weight
514 KB
Volume
18
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On Ξ£11 equivalence relations over the na
✍ Ekaterina B. Fokina; Sy-David Friedman πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 155 KB

## Abstract We study the structure of Ξ£^1^~1~ equivalence relations on hyperarithmetical subsets of Ο‰ under reducibilities given by hyperarithmetical or computable functions, called h‐reducibility and FF‐reducibility, respectively. We show that the structure is rich even when one fixes the number o